# HG changeset patch
# User bulwahn
# Date 1336552794 -7200
# Node ID 68f5aaf7cdd2127c68043dadf56787bb447230bf
# Parent  2c6454643be63aacae2b3511238d78282fb4b608
playing around with mira settings

diff -r 2c6454643be6 -r 68f5aaf7cdd2 Admin/mira.py
--- a/Admin/mira.py	Tue May 08 14:35:13 2012 +0200
+++ b/Admin/mira.py	Wed May 09 10:39:54 2012 +0200
@@ -274,25 +274,31 @@
     """HOLCF image"""
     return build_isabelle_image('HOL/HOLCF', 'HOL', 'HOLCF', *args)
 
+settings64='''
+ML_PLATFORM=x86_64-linux
+ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux"
+ML_SYSTEM="polyml-5.4.1"
+'''
+
 @configuration(repos = [Isabelle], deps = [(Pure_64, [0])])
 def HOL_64(*args):
     """HOL image (64 bit)"""
-    return build_isabelle_image('HOL', 'Pure', 'HOL', *args, more_settings='ML_PLATFORM=x86_64-linux')
+    return build_isabelle_image('HOL', 'Pure', 'HOL', *args, more_settings=settings64)
 
 @configuration(repos = [Isabelle], deps = [(HOL_64, [0])])
 def HOL_HOLCF_64(*args):
     """HOL-HOLCF image (64 bit)"""
-    return build_isabelle_image('HOL/HOLCF', 'HOL', 'HOLCF', *args, more_settings='ML_PLATFORM=x86_64-linux')
+    return build_isabelle_image('HOL/HOLCF', 'HOL', 'HOLCF', *args, more_settings=settings64)
 
 @configuration(repos = [Isabelle], deps = [(HOL_64, [0])])
 def HOL_Nominal_64(*args):
     """HOL-Nominal image (64 bit)"""
-    return build_isabelle_image('HOL/Nominal', 'HOL', 'HOL-Nominal', *args, more_settings='ML_PLATFORM=x86_64-linux')
+    return build_isabelle_image('HOL/Nominal', 'HOL', 'HOL-Nominal', *args, more_settings=settings64)
 
 @configuration(repos = [Isabelle], deps = [(HOL_64, [0])])
 def HOL_Word_64(*args):
     """HOL-Word image (64 bit)"""
-    return build_isabelle_image('HOL/Word', 'HOL', 'HOL-Word', *args, more_settings='ML_PLATFORM=x86_64-linux')
+    return build_isabelle_image('HOL/Word', 'HOL', 'HOL-Word', *args, more_settings=settings64)
 
 @configuration(repos = [Isabelle], deps = [
     (HOL_64, [0]),