[isabelle-dev] build and run Isabelle/jEdit on the spot
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
> 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
* 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