--- a/src/ZF/Makefile Tue Oct 26 22:24:20 1993 +0100
+++ b/src/ZF/Makefile Wed Oct 27 13:49:35 1993 +0100
@@ -32,7 +32,7 @@
$(BIN)/ZF: $(BIN)/FOL $(FILES)
case "$(COMP)" in \
poly*) cp $(BIN)/FOL $(BIN)/ZF;\
- echo 'open PolyML; use"ROOT";' | $(COMP) -h 15000 $(BIN)/ZF ;;\
+ echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/ZF ;;\
sml*) echo 'use"ROOT.ML"; xML"$(BIN)/ZF" banner;' | $(BIN)/FOL;;\
*) echo Bad value for ISABELLECOMP;;\
esac
@@ -42,7 +42,7 @@
test: ex/ROOT.ML $(BIN)/ZF
case "$(COMP)" in \
- poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) -h 15000 $(BIN)/ZF ;;\
+ poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/ZF ;;\
sml*) echo 'use"ex/ROOT.ML";' | $(BIN)/ZF;;\
*) echo Bad value for ISABELLECOMP;;\
esac