1.1 --- a/src/CTT/Makefile	Tue Nov 09 14:24:45 1993 +0100
     1.2 +++ b/src/CTT/Makefile	Tue Nov 09 16:09:34 1993 +0100
     1.3 @@ -21,6 +21,8 @@
     1.4  FILES = 	ROOT.ML ctt.thy ctt.ML bool.thy bool.ML \
     1.5  		arith.thy arith.ML rew.ML ../Provers/typedsimp.ML
     1.6  
     1.7 +EX_FILES = ex/ROOT.ML ex/elim.ML ex/equal.ML ex/synth.ML ex/typechk.ML
     1.8 +
     1.9  $(BIN)/CTT:   $(BIN)/Pure  $(FILES) 
    1.10  	case "$(COMP)" in \
    1.11  	poly*)	echo 'make_database"$(BIN)/CTT"; quit();'  \
    1.12 @@ -33,7 +35,7 @@
    1.13  $(BIN)/Pure:
    1.14  	cd ../Pure;  $(MAKE)
    1.15  
    1.16 -test:   ex/ROOT.ML $(BIN)/CTT
    1.17 +test:   ex/ROOT.ML $(BIN)/CTT  $(EX_FILES) 
    1.18  	case "$(COMP)" in \
    1.19  	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/CTT ;;\
    1.20  	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/CTT;;\