# HG changeset patch
# User bulwahn
# Date 1336555478 -7200
# Node ID 9d978604aee4bde0a700d8cfa736dc7f27c307f7
# Parent  92b35ed6c3962a11a44517116e958e331731ff1a
build Pure_64 with new settings

diff -r 92b35ed6c396 -r 9d978604aee4 Admin/mira.py
--- 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)"""