equal
deleted
inserted
replaced
22 ## LCF |
22 ## LCF |
23 |
23 |
24 LCF: FOL $(OUT)/LCF |
24 LCF: FOL $(OUT)/LCF |
25 |
25 |
26 FOL: |
26 FOL: |
27 @cd $(SRC)/FOL; $(ISATOOL) make FOL |
27 @cd $(SRC)/FOL; $(ISABELLE_TOOL) make FOL |
28 |
28 |
29 $(OUT)/LCF: $(OUT)/FOL LCF.thy ROOT.ML |
29 $(OUT)/LCF: $(OUT)/FOL LCF.thy ROOT.ML |
30 @$(ISATOOL) usedir -b -r $(OUT)/FOL LCF |
30 @$(ISABELLE_TOOL) usedir -b -r $(OUT)/FOL LCF |
31 |
31 |
32 |
32 |
33 ## LCF-ex |
33 ## LCF-ex |
34 |
34 |
35 LCF-ex: LCF $(LOG)/LCF-ex.gz |
35 LCF-ex: LCF $(LOG)/LCF-ex.gz |
36 |
36 |
37 $(LOG)/LCF-ex.gz: $(OUT)/LCF ex/Ex1.thy ex/Ex2.thy ex/Ex3.thy ex/Ex4.thy ex/ROOT.ML |
37 $(LOG)/LCF-ex.gz: $(OUT)/LCF ex/Ex1.thy ex/Ex2.thy ex/Ex3.thy ex/Ex4.thy ex/ROOT.ML |
38 @$(ISATOOL) usedir $(OUT)/LCF ex |
38 @$(ISABELLE_TOOL) usedir $(OUT)/LCF ex |
39 |
39 |
40 |
40 |
41 ## clean |
41 ## clean |
42 |
42 |
43 clean: |
43 clean: |