equal
deleted
inserted
replaced
6 |
6 |
7 OUT = $(ISABELLE_OUTPUT_DIR) |
7 OUT = $(ISABELLE_OUTPUT_DIR) |
8 FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML |
8 FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML |
9 |
9 |
10 $(OUT)/LCF: $(OUT)/FOL $(FILES) |
10 $(OUT)/LCF: $(OUT)/FOL $(FILES) |
11 @$(ISATOOL) usedir -b -c $(OUT)/FOL LCF |
11 @$(ISATOOL) usedir -b $(OUT)/FOL LCF |
12 @chmod -w $@ |
12 @chmod -w $@ |
13 |
13 |
14 $(OUT)/FOL: |
14 $(OUT)/FOL: |
15 @cd ../FOL; $(ISATOOL) make |
15 @cd ../FOL; $(ISATOOL) make |
16 |
16 |