author | paulson |
Wed, 07 May 1997 13:01:43 +0200 | |
changeset 3121 | cbb6c0c1c58a |
parent 3118 | 24dae6222579 |
child 3505 | 1cb4ea47d967 |
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 |
@chmod -w $@ |
13 |
||
14 |
$(OUT)/FOL: |
|
15 |
@cd ../FOL; $(ISATOOL) make |
|
16 |
||
2821 | 17 |
test: ex/ROOT.ML ex/ex.ML $(OUT)/LCF |
18 |
@$(ISATOOL) usedir $(OUT)/LCF ex |
|
2488 | 19 |
|
20 |
.PRECIOUS: $(OUT)/FOL $(OUT)/LCF |