Put IOA back into test
authornipkow
Mon Nov 13 16:44:48 1995 +0100 (1995-11-13)
changeset 13298987c0df4b2f
parent 1328 9a449a91425d
child 1330 e9becade0076
Put IOA back into test
src/HOL/Makefile
     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