src/Sequents/IsaMakefile
author wenzelm
Fri, 19 Dec 1997 10:18:58 +0100
changeset 4447 b7ee449eb345
parent 3505 1cb4ea47d967
child 4518 74c01296e818
permissions -rw-r--r--
log files; 'clean' target;
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)
4447
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
     8
LOG = $(OUT)/log
2492
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
     9
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    10
NAMES = ILL LK S4 S43 T
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    11
FILES = ROOT.ML Sequents.thy prover.ML $(NAMES:%=%.thy) $(NAMES:%=%.ML)
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    12
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    13
ILL_NAMES = ILL_predlog washing
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    14
EX_FILES = ex/ROOT.ML \
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    15
    ex/LK/ROOT.ML ex/LK/hardquant.ML ex/LK/prop.ML ex/LK/quant.ML \
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    16
    ex/Modal/ROOT.ML ex/Modal/S43thms.ML ex/Modal/S4thms.ML ex/Modal/Tthms.ML \
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    17
    ex/ILL/ILL_kleene_lemmas.ML \
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    18
    $(ILL_NAMES:%=ex/ILL/%.thy) $(ILL_NAMES:%=ex/ILL/%.ML)
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    19
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    20
$(OUT)/Sequents: $(OUT)/Pure $(FILES)
2831
a4f09228b74f isatool usedir;
wenzelm
parents: 2492
diff changeset
    21
	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
2492
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
4447
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    26
$(LOG)/Sequents-ex.gz: $(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
4447
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    29
test: $(OUT)/Sequents $(LOG)/Sequents-ex.gz
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    30
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    31
clean:
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    32
	@rm -f $(OUT)/Sequents $(LOG)/Sequents-ex.gz
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    33
b7ee449eb345 log files;
wenzelm
parents: 3505
diff changeset
    34
2492
88f15198950f IsaMakefile for Sequents;
wenzelm
parents:
diff changeset
    35
.PRECIOUS: $(OUT)/Pure $(OUT)/Sequents