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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
#
#
# This Makefile is automatically generated
# from executing the following command-line:
#
# make -f Makefile.gen
#
#
######
PATSHOMEQ="$(PATSHOME)"
######
PATSCC=$(PATSHOMEQ)/bin/patscc
PATSOPT=$(PATSHOMEQ)/bin/patsopt
PATSOLVE=$(PATSHOME)/bin/patsolve_z3
######
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
######
insort_lst:: \
insort_lst.dats; \
$(PATSOPT) -tc --constraint-export -d $< | $(PATSOLVE) -i
######
mergesort_lst:: \
mergesort_lst.dats; \
$(PATSOPT) -tc --constraint-export -d $< | $(PATSOLVE) -i
######
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] ######
|
