[isabelle-dev] Isabelle/jEdit build

Makarius makarius at sketis.net
Wed Mar 28 14:31:01 CEST 2012

This is a summary of the current situation with instantaneous building of 
Isabelle/jEdit from the repository (version 300fa46fd081).

* http://www4.in.tum.de/~wenzelm/test/jedit_build-20120327.tar.gz
   provides the auxiliary jedit_build component, which is now using
   jedit-4.5.1 (there is an improved treatment of > 16bit Unicode, as
   requested last year by myself on the jEdit tracker).

   The component is installed as usual, e.g. via this in

     init_component ".../jedit_build-20120327"

   Where "..." is expanded to the relative or absolute location of the
   unpacked component.

* ISABELLE_JDK_HOME needs to point to a genuine JDK installation, with the
   proper directory layout (the standard one of Oracle, not the one of
   Debian). Mac OS users can set it like this in ~/.isabelle/etc/settings:

     ISABELLE_JDK_HOME="$(/usr/libexec/java_home -v 1.6)"

* SCALA_HOME needs to point to genuine Scala according to EPFL, not
   Debian.  The variable can be set in regular shell startup environment or
   Isabelle settings.

I have also tried everything with latest Mac OS X Lion -- it works for me.

There is no need to change anything if it works for you already.  In the 
coming release everything will be bundled again to work out-of-the box, 
including full JDK components for the usual platforms.  (This investment 
of 100-200 MB disk space saves a lot of worries for anybody.)

Adventurous beta testers are encouraged to try latest JDK 1.7.x and Scala 
2.10.x release candidates.  Both should also work quite well already.


More information about the isabelle-dev mailing list