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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
#
# A simple Makefile
#
######
PATSCC=${PATSHOME}/bin/patscc
PATSOPT=${PATSHOME}/bin/patsopt
ATSCC2PY=${PATSHOME}/bin/atscc2py3
######
PYTHON=python3
export PYTHONPATH=./../../../output
######
all::
######
#
all:: \
QueenPuzzle_dfs_dats.py
QueenPuzzle_dfs_dats.c: \
QueenPuzzle_dfs.dats; $(PATSOPT) -o $@ -d $<
QueenPuzzle_dfs_dats.py: \
QueenPuzzle_dfs_dats.c; $(ATSCC2PY) -o $@ -i $<
#
regress:: QueenPuzzle_dfs_dats.py; $(PYTHON) $<
#
######
#
all:: \
QueenPuzzle_bfs_dats.py
QueenPuzzle_bfs_dats.c: \
QueenPuzzle_bfs.dats; $(PATSOPT) -o $@ -d $<
QueenPuzzle_bfs_dats.py: \
QueenPuzzle_bfs_dats.c; $(ATSCC2PY) -o $@ -i $<
#
regress:: QueenPuzzle_bfs_dats.py; $(PYTHON) $<
#
######
#
all:: \
GameOf24Play_dfs_dats.py
GameOf24Play_dfs_dats.c: \
GameOf24Play_dfs.dats; $(PATSOPT) -o $@ -d $<
GameOf24Play_dfs_dats.py: \
GameOf24Play_dfs_dats.c; $(ATSCC2PY) -o $@ -i $<
#
regress:: GameOf24Play_dfs_dats.py; $(PYTHON) $<
#
######
#
all:: \
GameOf24Play_bfs_dats.py
GameOf24Play_bfs_dats.c: \
GameOf24Play_bfs.dats; $(PATSOPT) -o $@ -d $<
GameOf24Play_bfs_dats.py: \
GameOf24Play_bfs_dats.c; $(ATSCC2PY) -o $@ -i $<
#
regress:: GameOf24Play_bfs_dats.py; $(PYTHON) $<
#
######
testall:: all
testall:: regress
testall:: cleanall
######
RMF=rm -f
######
clean:: ; $(RMF) *~
clean:: ; $(RMF) *_?ats.c
######
cleanall:: clean
cleanall:: ; $(RMF) *_?ats.py
######
###### end of [Makefile] ######
|
