# HG changeset patch # User krauss # Date 1305549338 -7200 # Node ID 8a3b9dbc7406a97e8c2ead56888de08426b98448 # Parent dc7232f0c303128de251ab41314a493d53d58da0 mira hack for special settings on lxbroy10 diff -r dc7232f0c303 -r 8a3b9dbc7406 Admin/mira.py --- a/Admin/mira.py Mon May 16 14:10:58 2011 +0200 +++ b/Admin/mira.py Mon May 16 14:35:38 2011 +0200 @@ -15,7 +15,7 @@ from mira.report import Report, Report_Content from mira.case import Case from mira.tools import tool -from mira import schedule +from mira import schedule, misc from mira.environment import scheduler @@ -182,6 +182,17 @@ 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" + more_settings += ''' +ML_PLATFORM="x86_64-linux" +ML_HOME="/home/polyml/polyml-svn/x86_64-linux" +ML_SYSTEM="polyml-5.4.1" +ML_OPTIONS="-H 8000 --gcthreads 6" +''' + isabelle_home = paths[0] dep_path = dep_paths[0] if dep_paths else None prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path,