src/CCL/Makefile
changeset 101 d4730dd72226
parent 59 ab555029f583
child 334 9411dc57c56b
--- a/src/CCL/Makefile	Tue Nov 09 14:24:45 1993 +0100
+++ b/src/CCL/Makefile	Tue Nov 09 16:09:34 1993 +0100
@@ -26,6 +26,9 @@
             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
+
 #Uses cp rather than make_database because Poly/ML allows only 3 levels
 $(BIN)/CCL:   $(BIN)/FOL  $(SET_FILES)  $(CCL_FILES) 
 	case "$(COMP)" in \
@@ -38,7 +41,7 @@
 $(BIN)/FOL:
 	cd ../FOL;  $(MAKE)
 
-test:   ex/ROOT.ML  $(BIN)/CCL
+test:   ex/ROOT.ML  $(BIN)/CCL  $(EX_FILES)
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/CCL ;;\
 	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/CCL;;\