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
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"
* 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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
