author | oheimb |
Wed, 12 Nov 1997 18:58:50 +0100 | |
changeset 4223 | f60e3d2c81d3 |
parent 3505 | 1cb4ea47d967 |
child 4447 | b7ee449eb345 |
permissions | -rw-r--r-- |
2488 | 1 |
# |
2 |
# $Id$ |
|
3 |
# |
|
4 |
# IsaMakefile for LCF |
|
5 |
# |
|
6 |
||
3118 | 7 |
OUT = $(ISABELLE_OUTPUT) |
2488 | 8 |
FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML |
9 |
||
10 |
$(OUT)/LCF: $(OUT)/FOL $(FILES) |
|
3057 | 11 |
@$(ISATOOL) usedir -b $(OUT)/FOL LCF |
2488 | 12 |
|
13 |
$(OUT)/FOL: |
|
14 |
@cd ../FOL; $(ISATOOL) make |
|
15 |
||
2821 | 16 |
test: ex/ROOT.ML ex/ex.ML $(OUT)/LCF |
17 |
@$(ISATOOL) usedir $(OUT)/LCF ex |
|
2488 | 18 |
|
19 |
.PRECIOUS: $(OUT)/FOL $(OUT)/LCF |