[isabelle-dev] build and run Isabelle/jEdit on the spot
makarius at sketis.net
Thu Jul 7 19:06:04 CEST 2011
On Thu, 7 Jul 2011, Christian Sternagel wrote:
> Hi again,
> after cloning the Isabelle repository from scratch the Isabelle/Scala layer
> finally builds. However, when building Isabelle/jEdit I still get the error
> src/plugin.scala:410: error: value setStyleExtender is not a member of object
> SyntaxUtilities.setStyleExtender(new Token_Markup.Style_Extender)
> src/token_markup.scala:82: error: type StyleExtender is not a member of
> object org.gjt.sp.util.SyntaxUtilities
> class Style_Extender extends SyntaxUtilities.StyleExtender
You need to update the auxiliary jedit_build component, which is
Isabelle/93dcfcf91484. Also make sure that any old "jedit" and
"jedit_build" components are disposed.
Since isatest now includes a full build of Isabelle/Scala and
Isabelle/jEdit, you can get this jedit_build version information by
watching the $MAKEALL spot in Admin/makedist, e.g. here
Of course, you can also just download the snapshot from
> My setup is:
> Maybe my CLASSPATH needs to be non-empty?
This is OK.
I have recently learned about JVM "extensions" and eliminated the user
CLASSPATH, to enable things like our own encoding at the lowest possible
level. See also http://isabelle.in.tum.de/repos/isabelle/rev/d477b92109b8
It has also reduced the jar volume by several MB, since certain libraries
are now provided in exactly one copy, independently how smart applications
like jEdit change the class loader hierarchy.
More information about the isabelle-dev