equal
deleted
inserted
replaced
7 OUT = $(ISABELLE_OUTPUT) |
7 OUT = $(ISABELLE_OUTPUT) |
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 $(OUT)/FOL LCF |
11 @$(ISATOOL) usedir -b $(OUT)/FOL LCF |
12 @chmod -w $@ |
|
13 |
12 |
14 $(OUT)/FOL: |
13 $(OUT)/FOL: |
15 @cd ../FOL; $(ISATOOL) make |
14 @cd ../FOL; $(ISATOOL) make |
16 |
15 |
17 test: ex/ROOT.ML ex/ex.ML $(OUT)/LCF |
16 test: ex/ROOT.ML ex/ex.ML $(OUT)/LCF |