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