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 RAW-ProofGeneral |
11 test: RAW |
12 all: images test |
12 all: images test |
13 |
13 |
14 |
14 |
15 ## global settings |
15 ## global settings |
16 |
16 |
80 ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML \ |
80 ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML \ |
81 ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML \ |
81 ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML \ |
82 ML-Systems/smlnj.ML |
82 ML-Systems/smlnj.ML |
83 @./mk -r |
83 @./mk -r |
84 |
84 |
85 RAW-ProofGeneral: RAW $(LOG)/RAW-ProofGeneral.gz |
|
86 |
|
87 $(LOG)/RAW-ProofGeneral.gz: $(OUT)/RAW ProofGeneral/pgip_standalone.ML \ |
|
88 ProofGeneral/parsing.ML ProofGeneral/pgip_input.ML \ |
|
89 ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML \ |
|
90 ProofGeneral/pgip.ML ProofGeneral/pgip_output.ML ProofGeneral/pgip_tests.ML \ |
|
91 ProofGeneral/pgip_types.ML ProofGeneral/preferences.ML \ |
|
92 ProofGeneral/proof_general_pgip.ML ProofGeneral/proof_general_emacs.ML |
|
93 @./mk -R ProofGeneral/pgip_standalone.ML |
|
94 |
|
95 |
85 |
96 ## clean |
86 ## clean |
97 |
87 |
98 clean: |
88 clean: |
99 @rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz \ |
89 @rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz |
100 $(LOG)/RAW-ProofGeneral.gz |
|