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.
mira configuration: use official polyml 5.4.1 on lxbroy10
authorkrauss
Sun, 16 Oct 2011 21:49:47 +0200
changeset 45157 efc2e2d80218
parent 45156 a9b6c2ea7bec
child 45158 db4bf4fb5492
child 45159 3f1d1ce024cb
mira configuration: use official polyml 5.4.1 on lxbroy10
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Sun Oct 16 18:48:30 2011 +0200
+++ b/Admin/mira.py	Sun Oct 16 21:49:47 2011 +0200
@@ -188,7 +188,7 @@
         usedir_options += " -M 6 -q 2 -i false -d false"
         more_settings += '''
 ML_PLATFORM="x86_64-linux"
-ML_HOME="/home/polyml/polyml-svn/x86_64-linux"
+ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux"
 ML_SYSTEM="polyml-5.4.1"
 ML_OPTIONS="-H 8000 --gcthreads 6"
isabelle