equal
deleted
inserted
replaced
|
1 # |
|
2 # $Id$ |
|
3 # |
|
4 # IsaMakefile for LCF |
|
5 # |
|
6 |
|
7 OUT = $(ISABELLE_OUTPUT_DIR) |
|
8 FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML |
|
9 |
|
10 $(OUT)/LCF: $(OUT)/FOL $(FILES) |
|
11 @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL LCF |
|
12 @chmod -w $@ |
|
13 |
|
14 $(OUT)/FOL: |
|
15 @cd ../FOL; $(ISATOOL) make |
|
16 |
|
17 test: ex.ML $(OUT)/LCF |
|
18 @$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); use"ex.ML"; quit();' \ |
|
19 -rq $(OUT)/LCF |
|
20 |
|
21 .PRECIOUS: $(OUT)/FOL $(OUT)/LCF |