src/CCL/IsaMakefile
changeset 2489 7834b2677551
child 2821 b1dcacc4bc26
equal deleted inserted replaced
2488:8fa554c7a0bc 2489:7834b2677551
       
     1 #
       
     2 # $Id$
       
     3 #
       
     4 # IsaMakefile for CCL
       
     5 #
       
     6 
       
     7 OUT = $(ISABELLE_OUTPUT_DIR)
       
     8 
       
     9 SET_FILES = ROOT.ML Set.thy Set.ML subset.ML equalities.ML mono.ML \
       
    10 	    Gfp.thy Gfp.ML Lfp.thy Lfp.ML
       
    11 
       
    12 CCL_FILES = CCL.thy CCL.ML Term.thy Term.ML Type.thy Type.ML \
       
    13 	    coinduction.ML Hered.thy Hered.ML Trancl.thy Trancl.ML \
       
    14 	    Wfd.thy Wfd.ML genrec.ML typecheck.ML eval.ML Fix.thy Fix.ML
       
    15 
       
    16 EX_FILES = ex/ROOT.ML ex/Flag.ML ex/Flag.thy ex/List.ML ex/List.thy \
       
    17 	   ex/Nat.ML ex/Nat.thy ex/Stream.ML ex/Stream.thy
       
    18 
       
    19 
       
    20 $(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES)
       
    21 	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL CCL
       
    22 	@chmod -w $@
       
    23 
       
    24 $(OUT)/FOL:
       
    25 	@cd ../FOL; $(ISATOOL) make
       
    26 
       
    27 test: ex/ROOT.ML $(OUT)/CCL $(EX_FILES)
       
    28 	@$(ISATOOL) testdir $(OUT)/CCL ex
       
    29 
       
    30 .PRECIOUS: $(OUT)/FOL $(OUT)/CCL