# HG changeset patch
# User lcp
# Date 752859063 -3600
# Node ID 187b73f6402301e7315b7527f0107def665a2384
# Parent  25ec61ee621c91d12e190d30f17dd61527cb0428
Target "test" now depends on examples files

diff -r 25ec61ee621c -r 187b73f64023 Makefile
--- a/Makefile	Tue Nov 09 13:30:13 1993 +0100
+++ b/Makefile	Tue Nov 09 16:31:03 1993 +0100
@@ -26,6 +26,19 @@
 	../Provers/classical.ML ../Provers/simplifier.ML \
 	../Provers/splitter.ML ../Provers/ind.ML
 
+EX_FILES = ex/ROOT.ML ex/cla.ML ex/finite.ML ex/finite.thy\
+	   ex/lexprod.ML ex/lexprod.thy ex/meson.ML ex/mesontest.ML\
+	   ex/mt.ML ex/mt.thy ex/pl.ML ex/pl.thy ex/puzzle.ML ex/puzzle.thy\
+	   ex/rec.ML ex/rec.thy ex/rel.ML ex/set.ML ex/simult.ML ex/simult.thy\
+	   ex/term.ML ex/term.thy
+
+SUBST_FILES = Subst/ROOT.ML Subst/alist.ML Subst/alist.thy\
+              Subst/setplus.ML Subst/setplus.thy\
+              Subst/subst.ML Subst/subst.thy\
+              Subst/unifier.ML Subst/unifier.thy\
+              Subst/uterm.ML Subst/uterm.thy\
+              Subst/utlemmas.ML Subst/utlemmas.thy
+
 $(BIN)/HOL:   $(BIN)/Pure  $(FILES) 
 	case "$(COMP)" in \
 	poly*)	echo 'make_database"$(BIN)/HOL"; quit();'  \
@@ -38,7 +51,7 @@
 $(BIN)/Pure:
 	cd ../Pure;  $(MAKE)
 
-test:   ex/ROOT.ML  $(BIN)/HOL
+test:   ex/ROOT.ML  $(BIN)/HOL  $(EX_FILES) 
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex/ROOT.ML"; use"Subst/ROOT.ML"; quit();' \
                         | $(COMP) $(BIN)/HOL ;;\