src/LK/Makefile
changeset 102 e04cb6295a3f
parent 0 a5a9c433f639
child 338 e3489bc1f857
--- a/src/LK/Makefile	Tue Nov 09 16:09:34 1993 +0100
+++ b/src/LK/Makefile	Tue Nov 09 16:32:24 1993 +0100
@@ -19,6 +19,7 @@
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
 FILES =  ROOT.ML lk.thy lk.ML
+EX_FILES = ex/ROOT.ML ex/hardquant.ML ex/prop.ML ex/quant.ML
 
 $(BIN)/LK:   $(BIN)/Pure  $(FILES) 
 	case "$(COMP)" in \
@@ -32,7 +33,7 @@
 $(BIN)/Pure:
 	cd ../Pure;  $(MAKE)
 
-test:   ex/ROOT.ML  $(BIN)/LK
+test:   ex/ROOT.ML  $(BIN)/LK  $(EX_FILES)
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/LK ;;\
 	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/LK;;\