| changeset 3118 | 24dae6222579 |
| parent 3057 | a5a42ff18a40 |
| child 3505 | 1cb4ea47d967 |
| 3117:74c1b51c1cd9 | 3118:24dae6222579 |
|---|---|
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # IsaMakefile for LCF |
4 # IsaMakefile for LCF |
5 # |
5 # |
6 |
6 |
7 OUT = $(ISABELLE_OUTPUT_DIR) |
7 OUT = $(ISABELLE_OUTPUT) |
8 FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML |
8 FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML |
9 |
9 |
10 $(OUT)/LCF: $(OUT)/FOL $(FILES) |
10 $(OUT)/LCF: $(OUT)/FOL $(FILES) |
11 @$(ISATOOL) usedir -b $(OUT)/FOL LCF |
11 @$(ISATOOL) usedir -b $(OUT)/FOL LCF |
12 @chmod -w $@ |
12 @chmod -w $@ |