src/HOL/Makefile
changeset 1264 3eb91524b938
parent 1254 a28e04685adc
child 1270 e3a391e848a9
--- a/src/HOL/Makefile	Wed Oct 04 13:01:05 1995 +0100
+++ b/src/HOL/Makefile	Wed Oct 04 13:10:03 1995 +0100
@@ -88,7 +88,7 @@
 
 IOA:    $(BIN)/HOL  $(IOA_FILES)
 	echo 'exit_use"IOA/ROOT_NTP.ML";quit();' | $(LOGIC)
-	echo 'exit_use"IOA/ROOT_ABP.ML";quit();' | $(LOGIC)
+#	echo 'exit_use"IOA/ROOT_ABP.ML";quit();' | $(LOGIC)
 
 ##Properties of substitutions
 SUBST_NAMES = AList Setplus Subst Unifier UTerm UTLemmas
@@ -118,8 +118,8 @@
 ex:     $(BIN)/HOL  $(EX_FILES)
 	echo 'exit_use"ex/ROOT.ML";quit();' | $(LOGIC)
 
-#Full test.
-test:   $(BIN)/HOL IMP Integ IOA Subst Lambda ex
+#Full test. (IOA has been removed temporarily)
+test:   $(BIN)/HOL IMP Integ Subst Lambda ex
 	echo 'Test examples ran successfully' > test
 
 .PRECIOUS:  $(BIN)/Pure $(BIN)/HOL