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.
proper platform path for initial load;
authorwenzelm
Tue, 18 Aug 2015 14:28:29 +0200
changeset 60966 ad3c5eb9e348
parent 60965 49c797cb9f46
child 60967 eb87fc42825c
proper platform path for initial load;
lib/scripts/run-polyml-5.5.3 file | annotate | diff | comparison | revisions 
--- a/lib/scripts/run-polyml-5.5.3	Tue Aug 18 14:07:27 2015 +0200
+++ b/lib/scripts/run-polyml-5.5.3	Tue Aug 18 14:28:29 2015 +0200
@@ -52,7 +52,15 @@
   esac
 else
   check_file "$INFILE"
-  INIT="(Signal.signal (2, Signal.SIG_HANDLE (fn _ => Process.interruptConsoleProcesses ())); PolyML.SaveState.loadState \"$INFILE\" handle exn => (TextIO.output (TextIO.stdErr, General.exnMessage exn ^ \": $INFILE\\n\"); OS.Process.exit OS.Process.success));"
+  case "$ML_PLATFORM" in
+    *-windows)
+      PLATFORM_INFILE="$(jvmpath -m "$INFILE")"
+      ;;
+    *)
+      PLATFORM_INFILE="$INFILE"
+      ;;
+  esac
+  INIT="(Signal.signal (2, Signal.SIG_HANDLE (fn _ => Process.interruptConsoleProcesses ())); PolyML.SaveState.loadState \"$PLATFORM_INFILE\" handle exn => (TextIO.output (TextIO.stdErr, General.exnMessage exn ^ \": $INFILE\\n\"); OS.Process.exit OS.Process.success));"
   EXIT=""
 fi
isabelle