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
directory.
Now enjoy blue/green/brown variables and hyperlinks for most formal
entities in the source text.
Sweet!
Alex
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
