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.
educated guess to include jdk
authorhaftmann
Thu, 29 Mar 2012 08:59:56 +0200
changeset 47190 e261815d3a38
parent 47189 e9a3dd1c4cf9
child 47191 ebd8c46d156b
educated guess to include jdk
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Wed Mar 28 17:57:23 2012 +0200
+++ b/Admin/mira.py	Thu Mar 29 08:59:56 2012 +0200
@@ -58,7 +58,10 @@
 ISABELLE_PATH="%s"
 
 ISABELLE_USEDIR_OPTIONS="%s"
+
+[[ -z "$ISABELLE_JDK_HOME" ]] && ISABELLE_JDK_HOME="$ISABELLE_HOME/contrib/jdk"
 Z3_NON_COMMERCIAL="yes"
+
 %s
 ''' % (isabelle_path, usedir_options, more_settings)
isabelle