src/HOL/Makefile
changeset 1329 8987c0df4b2f
parent 1301 42782316d510
child 1336 38d66830a046
     1.1 --- a/src/HOL/Makefile	Mon Nov 13 12:06:57 1995 +0100
     1.2 +++ b/src/HOL/Makefile	Mon Nov 13 16:44:48 1995 +0100
     1.3 @@ -138,7 +138,7 @@
     1.4  	echo 'exit_use"ex/ROOT.ML";quit();' | $(LOGIC)
     1.5  
     1.6  #Full test. (IOA has been removed temporarily)
     1.7 -test:   $(BIN)/HOL IMP Integ Subst Lambda MiniML ex
     1.8 +test:   $(BIN)/HOL IMP Integ Subst Lambda MiniML IOA ex
     1.9  	echo 'Test examples ran successfully' > test
    1.10  
    1.11  .PRECIOUS:  $(BIN)/Pure $(BIN)/HOL