author | wenzelm |
Wed Jan 07 13:53:42 1998 +0100 (1998-01-07) | |
changeset 4518 | 74c01296e818 |
parent 4447 | b7ee449eb345 |
child 10467 | e6e7205e9e91 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
4 # IsaMakefile for CTT
5 #
7 ## targets
9 default: CTT
10 images: CTT
11 test: CTT-ex
12 all: images test
15 ## global settings
17 SRC = $(ISABELLE_HOME)/src
18 OUT = $(ISABELLE_OUTPUT)
19 LOG = $(OUT)/log
22 ## CTT
24 CTT: Pure $(OUT)/CTT
26 Pure:
27 @cd $(SRC)/Pure; $(ISATOOL) make Pure
29 $(OUT)/CTT: $(OUT)/Pure $(SRC)/Provers/typedsimp.ML Arith.ML Arith.thy \
30 Bool.ML Bool.thy CTT.ML CTT.thy ROOT.ML rew.ML
31 @$(ISATOOL) usedir -b $(OUT)/Pure CTT
34 ## CTT-ex
36 CTT-ex: CTT $(LOG)/CTT-ex.gz
38 $(LOG)/CTT-ex.gz: $(OUT)/CTT ex/ROOT.ML ex/elim.ML ex/equal.ML \
39 ex/synth.ML ex/typechk.ML
40 @$(ISATOOL) usedir $(OUT)/CTT ex
43 ## clean
45 clean:
46 @rm -f $(OUT)/CTT $(LOG)/CTT.gz $(LOG)/CTT-ex.gz