[isabelle-dev] JDK / Mira

Makarius makarius at sketis.net
Fri Mar 30 13:18:57 CEST 2012

This is yet another attempt to get things right, and reasonably simple.

   * The isatest account takes care to provide reasonable $JAVE_HOME via
     its shell environment (the same for SCALA_HOME, but that is less

     This is based on the observation that JAVA_HOME is difficult to
     provide uniformly for all platforms -- the official bundle does the
     trick by packaging different jdk components just the right way.

   * Actual isatest jobs make sure that ISABELLE_JDK_HOME="$JAVA_HOME"
     within the Isabelle settings environment, either before or after
     entering it.

     See also http://isabelle.in.tum.de/repos/isabelle/rev/dd04c8173bb2
     for the traditional isatest cron jobs.

I did not touch Admin/mira.py yet, because I don't understand the 
implications.  It would also require another restart of the main mira 
server process.


More information about the isabelle-dev mailing list