Admin/mira.py
changeset 46200 4a892432e8f1
parent 45164 13dddf30c792
child 46931 d2b92739038b
     1.1 --- a/Admin/mira.py	Thu Jan 12 22:05:54 2012 +0100
     1.2 +++ b/Admin/mira.py	Thu Jan 12 23:29:03 2012 +0100
     1.3 @@ -201,15 +201,14 @@
     1.4  def isabelle_makeall(env, case, paths, dep_paths, playground, usedir_options=default_usedir_options,
     1.5    more_settings='', target='all', make_options=()):
     1.6  
     1.7 -    # FIXME!?
     1.8      if 'lxbroy10' in misc.hostnames():
     1.9          make_options += ('-j', '8')
    1.10 -        usedir_options += " -M 6 -q 2 -i false -d false"
    1.11 +        usedir_options += " -M 4 -q 2 -i false -d false"
    1.12          more_settings += '''
    1.13  ML_PLATFORM="x86_64-linux"
    1.14  ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux"
    1.15  ML_SYSTEM="polyml-5.4.1"
    1.16 -ML_OPTIONS="-H 8000 --gcthreads 6"
    1.17 +ML_OPTIONS="-H 4000 --gcthreads 4"
    1.18  
    1.19  ISABELLE_GHC="/usr/bin/ghc"
    1.20  '''