--- a/src/CCL/Makefile Tue Jul 12 18:05:03 1994 +0200
+++ b/src/CCL/Makefile Tue Jul 12 18:20:39 1994 +0200
@@ -35,7 +35,8 @@
poly*) cp $(BIN)/FOL $(BIN)/CCL;\
echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/CCL ;;\
sml*) echo 'use"ROOT.ML"; xML"$(BIN)/CCL" banner;' | $(BIN)/FOL;;\
- *) echo Bad value for ISABELLECOMP;;\
+ *) echo Bad value for ISABELLECOMP: \
+ $(COMP) is not poly or sml;;\
esac
$(BIN)/FOL:
@@ -45,7 +46,8 @@
case "$(COMP)" in \
poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/CCL ;;\
sml*) echo 'use"ex/ROOT.ML";' | $(BIN)/CCL;;\
- *) echo Bad value for ISABELLECOMP;;\
+ *) echo Bad value for ISABELLECOMP: \
+ $(COMP) is not poly or sml;;\
esac
.PRECIOUS: $(BIN)/FOL $(BIN)/CCL