equal
deleted
inserted
replaced
3 # |
3 # |
4 # IsaMakefile for LCF |
4 # IsaMakefile for LCF |
5 # |
5 # |
6 |
6 |
7 OUT = $(ISABELLE_OUTPUT) |
7 OUT = $(ISABELLE_OUTPUT) |
|
8 LOG = $(OUT)/log |
|
9 |
8 FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML |
10 FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML |
9 |
11 |
10 $(OUT)/LCF: $(OUT)/FOL $(FILES) |
12 $(OUT)/LCF: $(OUT)/FOL $(FILES) |
11 @$(ISATOOL) usedir -b $(OUT)/FOL LCF |
13 @$(ISATOOL) usedir -b $(OUT)/FOL LCF |
12 |
14 |
13 $(OUT)/FOL: |
15 $(OUT)/FOL: |
14 @cd ../FOL; $(ISATOOL) make |
16 @cd ../FOL; $(ISATOOL) make |
15 |
17 |
16 test: ex/ROOT.ML ex/ex.ML $(OUT)/LCF |
18 $(LOG)/LCF-ex.gz: ex/ROOT.ML ex/ex.ML $(OUT)/LCF |
17 @$(ISATOOL) usedir $(OUT)/LCF ex |
19 @$(ISATOOL) usedir $(OUT)/LCF ex |
18 |
20 |
|
21 test: $(OUT)/LCF $(LOG)/LCF-ex.gz |
|
22 |
|
23 clean: |
|
24 @rm -f $(OUT)/LCF $(LOG)/LCF-ex.gz |
|
25 |
|
26 |
19 .PRECIOUS: $(OUT)/FOL $(OUT)/LCF |
27 .PRECIOUS: $(OUT)/FOL $(OUT)/LCF |