[isabelle-dev] build and run Isabelle/jEdit on the spot
makarius at sketis.net
Wed Jun 8 22:53:21 CEST 2011
On Sat, 21 May 2011, 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"
> * Run "isabelle jedit -l HOL Foo.thy" and wait ...
In Isabelle/e77baf329f48 the build process is now included in the regular
isabelle jedit startup script. The Netbeans project configuration has
been discontinued, with great simplification of the source tree.
The above explanation still holds, but the whole works more smoothly.
There are also some extra build options, notably -b and -f (see usage).
Any accumulated jedit-4.3.2-* directories in jedit_build-20110521/ can be
deleted. It will now be done in-place in src/Tools/jEdit/dist/
It is important to purge any old versions of the jedit component from
etc/settings and etc/components.
More information about the isabelle-dev