[isabelle-dev] build and run Isabelle/jEdit on the spot

Alexander Krauss krauss at in.tum.de
Sat May 21 21:41:16 CEST 2011

On 05/21/2011 12:55 AM, Makarius wrote:
> In Isabelle/4a26abd3d57b Isabelle/jEdit can be built and run on the spot
> as follows:
> * Deactivate any existing jedit component setup in
> $ISABELLE_HOME_USER/etc/settings or
> $ISABELLE_HOME_USER/etc/components etc.
> * Make sure that SCALA_HOME within the Isabelle environment points to
> scala-2.8.1.final (Isabelle2011 ships that version as component
> which can be re-used here).
> * Download and unpack
> http://www4.in.tum.de/~wenzelm/test/jedit_build-20110521.tar.gz
> This contains all external jars required to build Isabelle/jEdit from
> source. It needs to be initialized as component as usual, e.g. like
> this in "$ISABELLE_HOME_USER/etc/settings":
> init_component "$HOME/isabelle/jedit_build-20110521"

I initially had some build problems, which I post here in case other 
people experience the same:

* It was important that scala-2.8.1.final is initialized before 
jedit_build-20110521. I initially got this wrong, which resulted in a 
broken build.

* Fixing the situation involved swapping the respective lines in my 
~/.isabelle/etc/components, and ensuring that everything is really built 
from scratch. In particular, I had to

  - remove the jars from $ISABELLE_HOME/lib/classes
  - remove the jedit-4.3.2... directory from the jedit_build component 

> Now enjoy blue/green/brown variables and hyperlinks for most formal
> entities in the source text.



More information about the isabelle-dev mailing list