# HG changeset patch
# User krauss
# Date 1355910356 -3600
# Node ID 8372c8b59cea2904c8d880c8fc52cda3ffbb6cab
# Parent  a392501696364a18c3aa6afd7606dbe87bec54e3
mira: do not hard-code polyml version

diff -r a39250169636 -r 8372c8b59cea Admin/mira.py
--- a/Admin/mira.py	Tue Dec 18 21:59:44 2012 +0100
+++ b/Admin/mira.py	Wed Dec 19 10:45:56 2012 +0100
@@ -164,9 +164,9 @@
 
 
 settings64='''
-ML_PLATFORM=x86_64-linux
-ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux"
-ML_SYSTEM="polyml-5.4.1"
+# enforce 64 bit, overriding smart detection
+ML_PLATFORM="$ISABELLE_PLATFORM64"
+ML_HOME="$(dirname $ML_HOME)/$ML_PLATFORM"
 '''
 
 @configuration(repos = [Isabelle], deps = [])