Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mira: do not hard-code polyml version
authorkrauss
Wed, 19 Dec 2012 10:45:56 +0100
changeset 50593 8372c8b59cea
parent 50592 a39250169636
child 50594 3f794789df0e
mira: do not hard-code polyml version
Admin/mira.py file | annotate | diff | comparison | revisions 
--- 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 = [])
isabelle