Mercurial Mercurial > repos > Old_HOL / 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.
HOL,ZF/Makefile: enclosed multiple "use" calls in parentheses. This
authorlcp
Fri, 11 Nov 1994 10:35:03 +0100
changeset 170 3a8d722fd3ff
parent 169 54cf155d00d3
child 171 16c4ea954511
HOL,ZF/Makefile: enclosed multiple "use" calls in parentheses. This ensures that if one dies, all die. BUT NOT Pure/Makefile, where PolyML.use"POLY" makes the identifier "use" visible.
Makefile file | annotate | diff | comparison | revisions 
--- a/Makefile	Thu Nov 10 09:46:19 1994 +0100
+++ b/Makefile	Fri Nov 11 10:35:03 1994 +0100
@@ -86,7 +86,7 @@
 	case "$(COMP)" in \
 	poly*)	echo '(use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML"); quit();' \
                         | $(COMP) $(BIN)/HOL ;;\
-	sml*)	echo 'use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML";' | $(BIN)/HOL;;\
+	sml*)	echo '(use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML");' | $(BIN)/HOL;;\
 	*)	echo Bad value for ISABELLECOMP: \
                 	$(COMP) is not poly or sml;;\
 	esac
Old_HOL