# 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