equal
deleted
inserted
replaced
13 ex/intro.ML ex/Nat.ML ex/Nat.thy ex/Prolog.ML ex/Prolog.thy \ |
13 ex/intro.ML ex/Nat.ML ex/Nat.thy ex/Prolog.ML ex/Prolog.thy \ |
14 ex/prop.ML ex/quant.ML |
14 ex/prop.ML ex/quant.ML |
15 |
15 |
16 $(OUT)/FOLP: $(OUT)/Pure $(FILES) |
16 $(OUT)/FOLP: $(OUT)/Pure $(FILES) |
17 @$(ISATOOL) usedir -b $(OUT)/Pure FOLP |
17 @$(ISATOOL) usedir -b $(OUT)/Pure FOLP |
18 @chmod -w $@ |
|
19 |
18 |
20 $(OUT)/Pure: |
19 $(OUT)/Pure: |
21 @cd ../Pure; $(ISATOOL) make |
20 @cd ../Pure; $(ISATOOL) make |
22 |
21 |
23 test: ex/ROOT.ML $(OUT)/FOLP $(EX_FILES) |
22 test: ex/ROOT.ML $(OUT)/FOLP $(EX_FILES) |