Admin/mira.py
changeset 49814 0aaed83532e1
parent 49813 fe9eb2b5c1ec
child 50593 8372c8b59cea
equal deleted inserted replaced
49813:fe9eb2b5c1ec 49814:0aaed83532e1
   117         subprocess.check_call(['touch'] + jars)
   117         subprocess.check_call(['touch'] + jars)
   118 
   118 
   119     # misc preparations
   119     # misc preparations
   120     if 'lxbroy10' in misc.hostnames():  # special settings for lxbroy10
   120     if 'lxbroy10' in misc.hostnames():  # special settings for lxbroy10
   121         more_settings += '''
   121         more_settings += '''
   122 ML_PLATFORM="x86_64-linux"
       
   123 ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux"
       
   124 ML_SYSTEM="polyml-5.4.1"
       
   125 ML_OPTIONS="-H 4000 --gcthreads 4"
       
   126 
       
   127 ISABELLE_GHC="/usr/bin/ghc"
   122 ISABELLE_GHC="/usr/bin/ghc"
   128 '''
   123 '''
   129 
   124 
   130     prepare_isabelle_repository(isabelle_home, env.settings.contrib, None,
   125     prepare_isabelle_repository(isabelle_home, env.settings.contrib, None,
   131       usedir_options="", more_settings=more_settings)
   126       usedir_options="", more_settings=more_settings)