| author | wenzelm |
| Tue, 06 May 1997 15:27:35 +0200 | |
| changeset 3118 | 24dae6222579 |
| parent 2831 | a4f09228b74f |
| child 3505 | 1cb4ea47d967 |
| permissions | -rw-r--r-- |
| wenzelm@2492 | 1 |
# |
| wenzelm@2492 | 2 |
# $Id$ |
| wenzelm@2492 | 3 |
# |
| wenzelm@2492 | 4 |
# IsaMakefile for Sequents |
| wenzelm@2492 | 5 |
# |
| wenzelm@2492 | 6 |
|
| wenzelm@3118 | 7 |
OUT = $(ISABELLE_OUTPUT) |
| wenzelm@2492 | 8 |
|
| wenzelm@2492 | 9 |
NAMES = ILL LK S4 S43 T |
| wenzelm@2492 | 10 |
FILES = ROOT.ML Sequents.thy prover.ML $(NAMES:%=%.thy) $(NAMES:%=%.ML) |
| wenzelm@2492 | 11 |
|
| wenzelm@2492 | 12 |
ILL_NAMES = ILL_predlog washing |
| wenzelm@2492 | 13 |
EX_FILES = ex/ROOT.ML \ |
| wenzelm@2492 | 14 |
ex/LK/ROOT.ML ex/LK/hardquant.ML ex/LK/prop.ML ex/LK/quant.ML \ |
| wenzelm@2492 | 15 |
ex/Modal/ROOT.ML ex/Modal/S43thms.ML ex/Modal/S4thms.ML ex/Modal/Tthms.ML \ |
| wenzelm@2492 | 16 |
ex/ILL/ILL_kleene_lemmas.ML \ |
| wenzelm@2492 | 17 |
$(ILL_NAMES:%=ex/ILL/%.thy) $(ILL_NAMES:%=ex/ILL/%.ML) |
| wenzelm@2492 | 18 |
|
| wenzelm@2492 | 19 |
$(OUT)/Sequents: $(OUT)/Pure $(FILES) |
| wenzelm@2831 | 20 |
@$(ISATOOL) usedir -b $(OUT)/Pure Sequents |
| wenzelm@2492 | 21 |
@chmod -w $@ |
| wenzelm@2492 | 22 |
|
| wenzelm@2492 | 23 |
$(OUT)/Pure: |
| wenzelm@2492 | 24 |
@cd ../Pure; $(ISATOOL) make |
| wenzelm@2492 | 25 |
|
| wenzelm@2492 | 26 |
test: $(OUT)/Sequents $(EX_FILES) |
| wenzelm@2831 | 27 |
@$(ISATOOL) usedir $(OUT)/Sequents ex |
| wenzelm@2492 | 28 |
|
| wenzelm@2492 | 29 |
.PRECIOUS: $(OUT)/Pure $(OUT)/Sequents |