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.
now passes ML_SYSTEM as ml_system;
authorwenzelm
Mon, 16 Dec 1996 10:00:08 +0100
changeset 2401 0293bc1cecfc
parent 2400 4b08766bc9d1
child 2402 b3d273ce5601
now passes ML_SYSTEM as ml_system;
src/Pure/mk file | annotate | diff | comparison | revisions 
--- a/src/Pure/mk	Mon Dec 16 09:59:18 1996 +0100
+++ b/src/Pure/mk	Mon Dec 16 10:00:08 1996 +0100
@@ -30,4 +30,7 @@
 [ -f "ML-Systems/$ML_SYSTEM.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM.ML"
 [ -z "$COMPAT" ] && fail "Missing compatibility file for ML system \"$ML_SYSTEM\"!"
 
-exec isabelle -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" -cq SYSTEM Pure
+exec isabelle \
+  -e "val ml_system = \"$ML_SYSTEM\";" \
+  -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
+  -cq SYSTEM Pure
isabelle