[isabelle-dev] Isabelle/jEdit build
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).
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
Where "..." is expanded to the relative or absolute location of the
* 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
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