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.
more robust poly startup, by restricting heap size (otherwise it fails on very large memory);
authorwenzelm
Wed, 17 Jun 2009 23:22:52 +0200
changeset 31695 36c5c15597f2
parent 31694 9a04846cac9c
child 31699 b6710a3b4c49
more robust poly startup, by restricting heap size (otherwise it fails on very large memory); removed Poly/ML 4.x variant;
lib/scripts/polyml-version file | annotate | diff | comparison | revisions 
--- a/lib/scripts/polyml-version	Wed Jun 17 18:43:44 2009 +0200
+++ b/lib/scripts/polyml-version	Wed Jun 17 23:22:52 2009 +0200
@@ -5,13 +5,8 @@
 echo -n polyml
 
 if [ -x "$ML_HOME/poly" ]; then
-  if [ -x "$ML_HOME/polyimport" ]; then
-    env LD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$LD_LIBRARY_PATH" \
-      DYLD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$DYLD_LIBRARY_PATH" \
-      "$ML_HOME/poly" -v | \
-      sed -n 's,^Poly/ML.*RTS version: [^ ]*\(-[^ ]*\).*$,\1,p'
-  else
-    "$ML_HOME/poly" -noDisplay -r /dev/null | head -n 1 | \
-      sed -n 's,^Poly/ML RTS version [^ ]*\(-[^ ]*\).*$,\1,p'
-  fi
+  env LD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$LD_LIBRARY_PATH" \
+    DYLD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$DYLD_LIBRARY_PATH" \
+    "$ML_HOME/poly" -v -H 10 | \
+    sed -n 's,^Poly/ML.*RTS version: [^ ]*\(-[^ ]*\).*$,\1,p'
 fi
isabelle