Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/polyml/settings
changeset 66899 8176914dae84
parent 66761 808e6ddb5a50
child 67017 ce6454669360 
--- a/Admin/polyml/settings	Sun Oct 22 13:57:25 2017 +0200
+++ b/Admin/polyml/settings	Sun Oct 22 14:36:21 2017 +0200
@@ -48,15 +48,19 @@
 
       case "$ML_PLATFORM" in
         x86_64-windows)
+          POLYML_EXE="$ML_HOME/poly.exe"
           ML_OPTIONS="-H 1000 --codepage utf8"
           ;;
         x86-windows)
+          POLYML_EXE="$ML_HOME/poly.exe"
           ML_OPTIONS="-H 500 --codepage utf8"
           ;;
         x86_64-*)
+          POLYML_EXE="$ML_HOME/poly"
           ML_OPTIONS="-H 1000"
           ;;
         *)
+          POLYML_EXE="$ML_HOME/poly"
           ML_OPTIONS="-H 500"
           ;;
       esac
isabelle