equal
deleted
inserted
replaced
74 |
74 |
75 ## special targets |
75 ## special targets |
76 |
76 |
77 RAW: $(OUT)/RAW |
77 RAW: $(OUT)/RAW |
78 |
78 |
79 $(OUT)/RAW: ML-Systems/alice.ML ML-Systems/polyml-4.1.3.ML \ |
79 $(OUT)/RAW: ML-Systems/alice.ML ML-Systems/no_multithreading.ML \ |
80 ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-5.0.ML \ |
80 ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML \ |
|
81 ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML \ |
81 ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML \ |
82 ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML \ |
82 ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML \ |
83 ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML \ |
83 ML-Systems/smlnj.ML |
84 ML-Systems/smlnj.ML |
84 @./mk -r |
85 @./mk -r |
85 |
86 |