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: RAW |
11 test: RAW Pure-ProofGeneral |
12 all: images test |
12 all: images test |
13 |
13 |
14 |
14 |
15 ## global settings |
15 ## global settings |
16 |
16 |
77 @./mk |
77 @./mk |
78 |
78 |
79 |
79 |
80 ## special targets |
80 ## special targets |
81 |
81 |
|
82 Pure-ProofGeneral: Pure $(LOG)/Pure-ProofGeneral.gz |
|
83 |
|
84 $(LOG)/Pure-ProofGeneral.gz: $(OUT)/Pure$(ML_SUFFIX) ProofGeneral/proof_general_keywords.ML |
|
85 @$(ISATOOL) usedir -f proof_general_keywords.ML $(OUT)/Pure ProofGeneral |
|
86 |
|
87 |
82 RAW: $(OUT)/RAW |
88 RAW: $(OUT)/RAW |
83 |
89 |
84 $(OUT)/RAW: ML-Systems/alice.ML ML-Systems/exn.ML ML-Systems/multithreading.ML \ |
90 $(OUT)/RAW: ML-Systems/alice.ML ML-Systems/exn.ML ML-Systems/multithreading.ML \ |
85 ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML \ |
91 ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML \ |
86 ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML \ |
92 ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML \ |
92 |
98 |
93 |
99 |
94 ## clean |
100 ## clean |
95 |
101 |
96 clean: |
102 clean: |
97 @rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz |
103 @rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(LOG)/Pure-ProofGeneral.gz \ |
|
104 $(OUT)/RAW $(LOG)/RAW.gz |