# HG changeset patch
# User haftmann
# Date 1333004396 -7200
# Node ID e261815d3a38433bce0a040d15373e97eccaa6b1
# Parent  e9a3dd1c4cf9b6ac1813e0e6459a5d0dea7f3084
educated guess to include jdk

diff -r e9a3dd1c4cf9 -r e261815d3a38 Admin/mira.py
--- 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)