--- 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