Admin/mira.py

     """HOLCF"""
     return isabelle_build(*(args + ("-b", "ZF")))
 
 
 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 = [])
 def Isabelle_makeall(*args):
     """Build all sessions"""