author | wenzelm |
Wed, 08 Jan 1997 12:58:17 +0100 | |
changeset 2488 | 8fa554c7a0bc |
child 2821 | b1dcacc4bc26 |
permissions | -rw-r--r-- |
2488 | 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 |