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 modest settings for lxbroy10 -- might actually perform better;
authorwenzelm
Thu, 12 Jan 2012 23:29:03 +0100
changeset 46200 4a892432e8f1
parent 46199 9d2273d50f4f
child 46201 afdc69f5156e
more modest settings for lxbroy10 -- might actually perform better;
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Thu Jan 12 22:05:54 2012 +0100
+++ b/Admin/mira.py	Thu Jan 12 23:29:03 2012 +0100
@@ -201,15 +201,14 @@
 def isabelle_makeall(env, case, paths, dep_paths, playground, usedir_options=default_usedir_options,
   more_settings='', target='all', make_options=()):
 
-    # FIXME!?
     if 'lxbroy10' in misc.hostnames():
         make_options += ('-j', '8')
-        usedir_options += " -M 6 -q 2 -i false -d false"
+        usedir_options += " -M 4 -q 2 -i false -d false"
         more_settings += '''
 ML_PLATFORM="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"
+ML_OPTIONS="-H 4000 --gcthreads 4"
 
 ISABELLE_GHC="/usr/bin/ghc"
 '''
isabelle