--- a/src/FOLP/Makefile Tue Nov 09 14:24:45 1993 +0100
+++ b/src/FOLP/Makefile Tue Nov 09 16:09:34 1993 +0100
@@ -21,6 +21,10 @@
FILES = ROOT.ML ifolp.thy ifolp.ML folp.thy folp.ML intprover.ML simpdata.ML\
classical.ML ../Provers/simp.ML ../Provers/ind.ML
+EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/if.ML ex/if.thy ex/int.ML\
+ ex/intro.ML ex/nat.ML ex/nat.thy ex/prolog.ML ex/prolog.thy\
+ ex/prop.ML ex/quant.ML
+
$(BIN)/FOLP: $(BIN)/Pure $(FILES)
case "$(COMP)" in \
poly*) echo 'make_database"$(BIN)/FOLP"; quit();' \
@@ -33,7 +37,7 @@
$(BIN)/Pure:
cd ../Pure; $(MAKE)
-test: ex/ROOT.ML $(BIN)/FOLP
+test: ex/ROOT.ML $(BIN)/FOLP $(EX_FILES)
case "$(COMP)" in \
poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/FOLP ;;\
sml*) echo 'use"ex/ROOT.ML";' | $(BIN)/FOLP;;\