Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improved error checking
authorlcp
Tue, 12 Jul 1994 18:20:39 +0200
changeset 468 3dd1dcb509ac
parent 467 92868dab2939
child 469 b571d997178d
Improved error checking
src/CCL/Makefile file | annotate | diff | comparison | revisions
src/Cube/Makefile file | annotate | diff | comparison | revisions
src/FOLP/Makefile file | annotate | diff | comparison | revisions
src/HOLCF/Makefile file | annotate | diff | comparison | revisions
src/LCF/Makefile file | annotate | diff | comparison | revisions
src/LK/Makefile file | annotate | diff | comparison | revisions
src/Modal/Makefile file | annotate | diff | comparison | revisions 
--- 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 
--- 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 
--- 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 
--- 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 
--- 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 
--- 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 
--- 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
isabelle