# HG changeset patch
# User lcp
# Date 774030039 -7200
# Node ID 3dd1dcb509ac985a3d9005dbd0db7753f76bcc54
# Parent  92868dab2939064e9391a2f455c108b63aa3f107
Improved error checking

diff -r 92868dab2939 -r 3dd1dcb509ac src/CCL/Makefile
--- 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 
diff -r 92868dab2939 -r 3dd1dcb509ac src/Cube/Makefile
--- a/src/Cube/Makefile	Tue Jul 12 18:05:03 1994 +0200
+++ b/src/Cube/Makefile	Tue Jul 12 18:20:39 1994 +0200
@@ -27,7 +27,8 @@
 			| $(COMP) $(BIN)/Pure;\
 		echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/Cube ;;\
 	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/Cube" banner;' | $(BIN)/Pure ;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 $(BIN)/Pure:
@@ -37,7 +38,8 @@
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex.ML"; quit();' | $(COMP) $(BIN)/Cube ;;\
 	sml*)	echo 'use"ex.ML";' | $(BIN)/Cube;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 .PRECIOUS:  $(BIN)/Pure  $(BIN)/Cube 
diff -r 92868dab2939 -r 3dd1dcb509ac src/FOLP/Makefile
--- a/src/FOLP/Makefile	Tue Jul 12 18:05:03 1994 +0200
+++ b/src/FOLP/Makefile	Tue Jul 12 18:20:39 1994 +0200
@@ -31,7 +31,8 @@
 			| $(COMP) $(BIN)/Pure;\
 		echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/FOLP;;\
 	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/FOLP" banner;' | $(BIN)/Pure;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 $(BIN)/Pure:
@@ -41,7 +42,8 @@
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/FOLP ;;\
 	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/FOLP;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 .PRECIOUS:   $(BIN)/Pure  $(BIN)/FOLP 
diff -r 92868dab2939 -r 3dd1dcb509ac src/HOLCF/Makefile
--- a/src/HOLCF/Makefile	Tue Jul 12 18:05:03 1994 +0200
+++ b/src/HOLCF/Makefile	Tue Jul 12 18:20:39 1994 +0200
@@ -41,7 +41,8 @@
 		     | $(COMP) $(BIN)/HOL ;\
 		echo 'use"ROOT";' | $(COMP) $(BIN)/HOLCF ;;\
 	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/HOLCF" banner;' | $(BIN)/HOL ;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 $(BIN)/HOL:
@@ -51,7 +52,8 @@
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/HOLCF ;;\
 	sml*)	echo 'use"ex/ROOT.ML"' | $(BIN)/HOLCF;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 .PRECIOUS:  $(BIN)/HOL  $(BIN)/HOLCF 
diff -r 92868dab2939 -r 3dd1dcb509ac src/LCF/Makefile
--- a/src/LCF/Makefile	Tue Jul 12 18:05:03 1994 +0200
+++ b/src/LCF/Makefile	Tue Jul 12 18:20:39 1994 +0200
@@ -26,7 +26,8 @@
 	poly*)	cp $(BIN)/FOL $(BIN)/LCF;\
 		echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/LCF ;;\
 	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/LCF" banner;' | $(BIN)/FOL;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 (BIN)/FOL:
@@ -36,7 +37,8 @@
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex.ML"; quit();' | $(COMP) $(BIN)/LCF ;;\
 	sml*)	echo 'use"ex.ML";' | $(BIN)/LCF;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 .PRECIOUS:   $(BIN)/FOL  $(BIN)/LCF 
diff -r 92868dab2939 -r 3dd1dcb509ac src/LK/Makefile
--- a/src/LK/Makefile	Tue Jul 12 18:05:03 1994 +0200
+++ b/src/LK/Makefile	Tue Jul 12 18:20:39 1994 +0200
@@ -27,7 +27,8 @@
 			| $(COMP) $(BIN)/Pure;\
 		echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/LK ;;\
 	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/LK" banner;' | $(BIN)/Pure ;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 $(BIN)/Pure:
@@ -37,7 +38,8 @@
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/LK ;;\
 	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/LK;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 .PRECIOUS:   $(BIN)/Pure  $(BIN)/LK 
diff -r 92868dab2939 -r 3dd1dcb509ac src/Modal/Makefile
--- a/src/Modal/Makefile	Tue Jul 12 18:05:03 1994 +0200
+++ b/src/Modal/Makefile	Tue Jul 12 18:20:39 1994 +0200
@@ -27,7 +27,8 @@
 	poly*)	cp $(BIN)/LK $(BIN)/Modal;\
 		echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/Modal ;;\
 	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/Modal" banner;' | $(BIN)/LK;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 $(BIN)/LK:
@@ -37,7 +38,8 @@
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/Modal ;;\
 	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/Modal;;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 .PRECIOUS:  $(BIN)/LK $(BIN)/Modal