author | wenzelm |
Tue, 28 Oct 1997 17:56:15 +0100 | |
changeset 4026 | b94dc94be4b7 |
parent 3505 | 1cb4ea47d967 |
child 4447 | b7ee449eb345 |
permissions | -rw-r--r-- |
# # $Id$ # # IsaMakefile for CTT # OUT = $(ISABELLE_OUTPUT) FILES = ROOT.ML CTT.thy CTT.ML Bool.thy Bool.ML \ Arith.thy Arith.ML rew.ML ../Provers/typedsimp.ML EX_FILES = ex/ROOT.ML ex/elim.ML ex/equal.ML ex/synth.ML ex/typechk.ML $(OUT)/CTT: $(OUT)/Pure $(FILES) @$(ISATOOL) usedir -b $(OUT)/Pure CTT $(OUT)/Pure: @cd ../Pure; $(ISATOOL) make test: ex/ROOT.ML $(OUT)/CTT $(EX_FILES) @$(ISATOOL) usedir $(OUT)/CTT ex .PRECIOUS: $(OUT)/Pure $(OUT)/CTT