src/CTT/IsaMakefile
changeset 2491 82f105e8a0f9
child 2823 1262592be579
equal deleted inserted replaced
2490:55e940d84cdc 2491:82f105e8a0f9
       
     1 #
       
     2 # $Id$
       
     3 #
       
     4 # IsaMakefile for CTT
       
     5 #
       
     6 
       
     7 OUT = $(ISABELLE_OUTPUT_DIR)
       
     8 
       
     9 FILES =	ROOT.ML CTT.thy CTT.ML Bool.thy Bool.ML \
       
    10 	Arith.thy Arith.ML rew.ML ../Provers/typedsimp.ML
       
    11 
       
    12 EX_FILES = ex/ROOT.ML ex/elim.ML ex/equal.ML ex/synth.ML ex/typechk.ML
       
    13 
       
    14 $(OUT)/CTT: $(OUT)/Pure $(FILES)
       
    15 	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure CTT
       
    16 	@chmod -w $@
       
    17 
       
    18 $(OUT)/Pure:
       
    19 	@cd ../Pure; $(ISATOOL) make
       
    20 
       
    21 test: ex/ROOT.ML $(OUT)/CTT $(EX_FILES)
       
    22 	@$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); exit_use"ex/ROOT.ML"; quit();' \
       
    23 	  -rq $(OUT)/CTT
       
    24 
       
    25 .PRECIOUS: $(OUT)/Pure $(OUT)/CTT