1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
#
#
# This Makefile is automatically generated
# from executing the following command-line:
#
# make -f Makefile.gen
#
#
######
PATSHOMEQ="$(PATSHOME)"
PATSOPT=$(PATSHOMEQ)/bin/patsopt
######
all::
######
all:: bsearch_arr
bsearch_arr: bsearch_arr.dats ; $(PATSOPT) --typecheck --dynamic bsearch_arr.dats
######
all:: quicksort_lst
quicksort_lst: quicksort_lst.dats ; $(PATSOPT) --typecheck --dynamic quicksort_lst.dats
######
LNS=ln -s
RMF=rm -f
######
clean:: ; $(RMF) *~
clean:: ; $(RMF) *_?ats.o *_?ats.c
clean:: ; $(RMF) *_atxt.txt
clean:: ; $(RMF) *_atxt.dats
cleanall:: clean
###### end of [Makefile] ######
|
