equal
deleted
inserted
replaced
6 |
6 |
7 ## targets |
7 ## targets |
8 |
8 |
9 default: Pure |
9 default: Pure |
10 images: Pure |
10 images: Pure |
11 test: |
11 test: RAW RAW-ProofGeneral |
12 all: images test |
12 all: images test |
13 |
13 |
14 |
14 |
15 ## global settings |
15 ## global settings |
16 |
16 |
72 @./mk |
72 @./mk |
73 |
73 |
74 |
74 |
75 ## special targets |
75 ## special targets |
76 |
76 |
77 Pure-copied: |
77 RAW: $(OUT)/RAW |
78 @./mk -C |
|
79 |
78 |
80 RAW: |
79 $(OUT)/RAW: ML-Systems/polyml-4.1.4-patch.ML ML-Systems/polyml-4.2.0.ML \ |
|
80 ML-Systems/polyml-5.0.ML ML-Systems/polyml-interrupt-timeout.ML \ |
|
81 ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML \ |
|
82 ML-Systems/smlnj.ML |
81 @./mk -r |
83 @./mk -r |
82 |
84 |
83 RAW-copied: |
85 RAW-ProofGeneral: RAW $(LOG)/RAW-ProofGeneral.gz |
84 @./mk -Cr |
86 |
|
87 $(LOG)/RAW-ProofGeneral.gz: $(OUT)/RAW ProofGeneral/pgip_standalone.ML |
|
88 @./mk -R ProofGeneral/pgip_standalone.ML |
85 |
89 |
86 |
90 |
87 ## clean |
91 ## clean |
88 |
92 |
89 clean: |
93 clean: |
90 @rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz |
94 @rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz \ |
|
95 $(LOG)/RAW-ProofGeneral.gz |