-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
166 lines (163 loc) · 7.14 KB
/
Makefile
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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
run:
swipl arith.pl > results/arith_result.txt
diff results/arith_result.txt results/arith_expected.txt
swipl farith.pl > results/farith_result.txt
diff results/farith_result.txt results/farith_expected.txt
swipl fomarith.pl > results/fomarith_result.txt
diff results/fomarith_result.txt results/fomarith_expected.txt
swipl untyped.pl > results/untyped_result.txt
diff results/untyped_result.txt results/untyped_expected.txt
swipl fulluntyped.pl > results/fulluntyped_result.txt
diff results/fulluntyped_result.txt results/fulluntyped_expected.txt
swipl tyarith.pl > results/tyarith_result.txt
diff results/tyarith_result.txt results/tyarith_expected.txt
swipl simplebool.pl > results/simplebool_result.txt
diff results/simplebool_result.txt results/simplebool_expected.txt
swipl fullsimple.pl > results/fullsimple_result.txt
diff results/fullsimple_result.txt results/fullsimple_expected.txt
swipl fullref.pl > results/fullref_result.txt
diff results/fullref_result.txt results/fullref_expected.txt
swipl fullerror.pl > results/fullerror_result.txt
diff results/fullerror_result.txt results/fullerror_expected.txt
swipl bot.pl > results/bot_result.txt
diff results/bot_result.txt results/bot_expected.txt
swipl rcdsubbot.pl > results/rcdsubbot_result.txt
diff results/rcdsubbot_result.txt results/rcdsubbot_expected.txt
swipl fullsub.pl > results/fullsub_result.txt
diff results/fullsub_result.txt results/fullsub_expected.txt
swipl equirec.pl > results/equirec_result.txt
diff results/equirec_result.txt results/equirec_expected.txt
swipl fullequirec.pl > results/fullequirec_result.txt
diff results/fullequirec_result.txt results/fullequirec_expected.txt
swipl fullisorec.pl > results/fullisorec_result.txt
diff results/fullisorec_result.txt results/fullisorec_expected.txt
swipl reconbase.pl > results/reconbase_result.txt
diff results/reconbase_result.txt results/reconbase_expected.txt
swipl recon.pl > results/recon_result.txt
diff results/recon_result.txt results/recon_expected.txt
swipl fullrecon.pl > results/fullrecon_result.txt
diff results/fullrecon_result.txt results/fullrecon_expected.txt
swipl fullpoly.pl > results/fullpoly_result.txt
diff results/fullpoly_result.txt results/fullpoly_expected.txt
swipl purefsub.pl > results/purefsub_result.txt
diff results/purefsub_result.txt results/purefsub_expected.txt
swipl fullfsub.pl > results/fullfsub_result.txt
diff results/fullfsub_result.txt results/fullfsub_expected.txt
swipl fullfsubref.pl > results/fullfsubref_result.txt
diff results/fullfsubref_result.txt results/fullfsubref_expected.txt
swipl fomega.pl > results/fomega_result.txt
diff results/fomega_result.txt results/fomega_expected.txt
swipl fomsub.pl > results/fomsub_result.txt
diff results/fomsub_result.txt results/fomsub_expected.txt
swipl fullomega.pl > results/fullomega_result.txt
diff results/fullomega_result.txt results/fullomega_expected.txt
swipl fullfomsub.pl > results/fullfomsub_result.txt
diff results/fullfomsub_result.txt results/fullfomsub_expected.txt
swipl fullfomsubref.pl > results/fullfomsubref_result.txt
diff results/fullfomsubref_result.txt results/fullfomsubref_expected.txt
swipl fullupdate.pl > results/fullupdate_result.txt
diff results/fullupdate_result.txt results/fullupdate_expected.txt
swipl joinexercise.pl > results/joinexercise_result.txt
diff results/joinexercise_result.txt results/joinexercise_expected.txt
swipl letexercise.pl > results/letexercise_result.txt
diff results/letexercise_result.txt results/letexercise_expected.txt
cnv:
php cnv.php
make
gen:
rm -rf results/*
swipl arith.pl > results/arith_expected.txt
swipl farith.pl > results/farith_expected.txt
swipl fomarith.pl > results/fomarith_expected.txt
swipl untyped.pl > results/untyped_expected.txt
swipl fulluntyped.pl > results/fulluntyped_expected.txt
swipl tyarith.pl > results/tyarith_expected.txt
swipl simplebool.pl > results/simplebool_expected.txt
swipl fullsimple.pl > results/fullsimple_expected.txt
swipl fullref.pl > results/fullref_expected.txt
swipl fullerror.pl > results/fullerror_expected.txt
swipl bot.pl > results/bot_expected.txt
swipl rcdsubbot.pl > results/rcdsubbot_expected.txt
swipl fullsub.pl > results/fullsub_expected.txt
swipl equirec.pl > results/equirec_expected.txt
swipl fullequirec.pl > results/fullequirec_expected.txt
swipl fullisorec.pl > results/fullisorec_expected.txt
swipl reconbase.pl > results/reconbase_expected.txt
swipl recon.pl > results/recon_expected.txt
swipl fullrecon.pl > results/fullrecon_expected.txt
swipl fullpoly.pl > results/fullpoly_expected.txt
swipl purefsub.pl > results/purefsub_expected.txt
swipl fullfsub.pl > results/fullfsub_expected.txt
swipl fullfsubref.pl > results/fullfsubref_expected.txt
swipl fomega.pl > results/fomega_expected.txt
swipl fomsub.pl > results/fomsub_expected.txt
swipl fullomega.pl > results/fullomega_expected.txt
swipl fullfomsub.pl > results/fullfomsub_expected.txt
swipl fullfomsubref.pl > results/fullfomsubref_expected.txt
swipl fullupdate.pl > results/fullupdate_expected.txt
swipl joinexercise.pl > results/joinexercise_expected.txt
swipl letexercise.pl > results/letexercise_expected.txt
gen_arith:
swipl arith.pl > results/arith_expected.txt
gen_farith:
swipl farith.pl > results/farith_expected.txt
gen_fomarith:
swipl fomarith.pl > results/fomarith_expected.txt
gen_untyped:
swipl untyped.pl > results/untyped_expected.txt
gen_fulluntyped:
swipl fulluntyped.pl > results/fulluntyped_expected.txt
gen_tyarith:
swipl tyarith.pl > results/tyarith_expected.txt
gen_simplebool:
swipl simplebool.pl > results/simplebool_expected.txt
gen_fullsimple:
swipl fullsimple.pl > results/fullsimple_expected.txt
gen_fullref:
swipl fullref.pl > results/fullref_expected.txt
gen_fullerror:
swipl fullerror.pl > results/fullerror_expected.txt
gen_bot:
swipl bot.pl > results/bot_expected.txt
gen_rcdsubbot:
swipl rcdsubbot.pl > results/rcdsubbot_expected.txt
gen_fullsub:
swipl fullsub.pl > results/fullsub_expected.txt
gen_equirec:
swipl equirec.pl > results/equirec_expected.txt
gen_fullequirec:
swipl fullequirec.pl > results/fullequirec_expected.txt
gen_fullisorec:
swipl fullisorec.pl > results/fullisorec_expected.txt
gen_reconbase:
swipl reconbase.pl > results/reconbase_expected.txt
gen_recon:
swipl recon.pl > results/recon_expected.txt
gen_fullrecon:
swipl fullrecon.pl > results/fullrecon_expected.txt
gen_fullpoly:
swipl fullpoly.pl > results/fullpoly_expected.txt
gen_purefsub:
swipl purefsub.pl > results/purefsub_expected.txt
gen_fullfsub:
swipl fullfsub.pl > results/fullfsub_expected.txt
gen_fullfsubref:
swipl fullfsubref.pl > results/fullfsubref_expected.txt
gen_fomega:
swipl fomega.pl > results/fomega_expected.txt
gen_fomsub:
swipl fomsub.pl > results/fomsub_expected.txt
gen_fullomega:
swipl fullomega.pl > results/fullomega_expected.txt
gen_fullfomsub:
swipl fullfomsub.pl > results/fullfomsub_expected.txt
gen_fullfomsubref:
swipl fullfomsubref.pl > results/fullfomsubref_expected.txt
gen_fullupdate:
swipl fullupdate.pl > results/fullupdate_expected.txt
gen_joinexercise:
swipl joinexercise.pl > results/joinexercise_expected.txt
gen_letexercise:
swipl letexercise.pl > results/letexercise_expected.txt
clean:
rm -rf results/*_result.txt