1.1 --- a/src/ZF/Makefile	Tue Nov 09 16:09:34 1993 +0100
     1.2 +++ b/src/ZF/Makefile	Tue Nov 09 16:32:24 1993 +0100
     1.3 @@ -28,6 +28,16 @@
     1.4  	quniv.thy quniv.ML constructor.ML datatype.ML  \
     1.5  	fin.ML list.ML listfn.thy listfn.ML
     1.6  
     1.7 +EX_FILES = ex/ROOT.ML ex/acc.ML ex/bin.ML ex/binfn.ML ex/binfn.thy\
     1.8 +	   ex/bt.ML ex/bt_fn.ML ex/bt_fn.thy ex/comb.ML\
     1.9 +	   ex/contract0.ML ex/contract0.thy ex/counit.ML ex/data.ML\
    1.10 +	   ex/enum.ML ex/equiv.ML ex/equiv.thy ex/integ.ML ex/integ.thy\
    1.11 +	   ex/listn.ML ex/llist.ML ex/llist_eq.ML ex/llistfn.ML ex/llistfn.thy\
    1.12 +	   ex/misc.ML ex/parcontract.ML ex/primrec0.ML ex/primrec0.thy\
    1.13 +	   ex/prop.ML ex/proplog.ML ex/proplog.thy ex/ramsey.ML ex/ramsey.thy\
    1.14 +	   ex/rmap.ML ex/term.ML ex/termfn.ML ex/termfn.thy ex/tf.ML\
    1.15 +	   ex/tf_fn.ML ex/tf_fn.thy ex/twos_compl.ML
    1.16 +
    1.17  #Uses cp rather than make_database because Poly/ML allows only 3 levels
    1.18  $(BIN)/ZF:   $(BIN)/FOL  $(FILES) 
    1.19  	case "$(COMP)" in \
    1.20 @@ -40,7 +50,7 @@
    1.21  $(BIN)/FOL:
    1.22  	cd ../FOL;  $(MAKE)
    1.23  
    1.24 -test:   ex/ROOT.ML  $(BIN)/ZF
    1.25 +test:   ex/ROOT.ML  $(BIN)/ZF  $(EX_FILES)
    1.26  	case "$(COMP)" in \
    1.27  	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/ZF ;;\
    1.28  	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/ZF;;\