--- a/Admin/mira.py Wed May 09 11:17:54 2012 +0200
+++ b/Admin/mira.py Wed May 09 11:24:38 2012 +0200
@@ -249,11 +249,6 @@
"""Pure image"""
return make_pure(*args)
-@configuration(repos = [Isabelle], deps = [])
-def Pure_64(*args):
- """Pure image (64 bit)"""
- return make_pure(*args, more_settings='ML_PLATFORM=x86_64-linux')
-
@configuration(repos = [Isabelle], deps = [(Pure, [0])])
def HOL(*args):
"""HOL image"""
@@ -280,6 +275,11 @@
ML_SYSTEM="polyml-5.4.1"
'''
+@configuration(repos = [Isabelle], deps = [])
+def Pure_64(*args):
+ """Pure image (64 bit)"""
+ return make_pure(*args, more_settings=settings64)
+
@configuration(repos = [Isabelle], deps = [(Pure_64, [0])])
def HOL_64(*args):
"""HOL image (64 bit)"""