# HG changeset patch # User wenzelm # Date 852731064 -3600 # Node ID 7834b26775512510422115562f05f9423a904261 # Parent 8fa554c7a0bc3694269179f2a701ef681f9bcb41 IsaMakefile for CCL; diff -r 8fa554c7a0bc -r 7834b2677551 src/CCL/IsaMakefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/CCL/IsaMakefile Wed Jan 08 14:44:24 1997 +0100 @@ -0,0 +1,30 @@ +# +# $Id$ +# +# IsaMakefile for CCL +# + +OUT = $(ISABELLE_OUTPUT_DIR) + +SET_FILES = ROOT.ML Set.thy Set.ML subset.ML equalities.ML mono.ML \ + Gfp.thy Gfp.ML Lfp.thy Lfp.ML + +CCL_FILES = CCL.thy CCL.ML Term.thy Term.ML Type.thy Type.ML \ + coinduction.ML Hered.thy Hered.ML Trancl.thy Trancl.ML \ + Wfd.thy Wfd.ML genrec.ML typecheck.ML eval.ML Fix.thy Fix.ML + +EX_FILES = ex/ROOT.ML ex/Flag.ML ex/Flag.thy ex/List.ML ex/List.thy \ + ex/Nat.ML ex/Nat.thy ex/Stream.ML ex/Stream.thy + + +$(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES) + @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL CCL + @chmod -w $@ + +$(OUT)/FOL: + @cd ../FOL; $(ISATOOL) make + +test: ex/ROOT.ML $(OUT)/CCL $(EX_FILES) + @$(ISATOOL) testdir $(OUT)/CCL ex + +.PRECIOUS: $(OUT)/FOL $(OUT)/CCL