[isabelle-dev] build and run Isabelle/jEdit on the spot

Christian Sternagel christian.sternagel at uibk.ac.at
Thu Jul 7 10:27:06 CEST 2011

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 org.gjt.sp.util.SyntaxUtilities
     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

My setup is:

$ ~/Repos/isabelle/bin/isabelle getenv JAVA_HOME

$ ~/Repos/isabelle/bin/isabelle getenv SCALA_HOME

$ ~/Repos/isabelle/bin/isabelle getenv CLASSPATH

$ `~/Repos/isabelle/bin/isabelle getenv -b JAVA_HOME`/bin/java -version
java version "1.6.0_23"
Java(TM) SE Runtime Environment (build 1.6.0_23-b05)
Java HotSpot(TM) 64-Bit Server VM (build 19.0-b09, mixed mode)

$ `~/Repos/isabelle/bin/isabelle getenv -b SCALA_HOME`/bin/scala -version
Scala code runner version 2.8.1.final -- Copyright 2002-2010, LAMP/EPFL

Maybe my CLASSPATH needs to be non-empty? Any ideas?



On 06/08/2011 10:43 PM, Makarius wrote:
> On Sun, 22 May 2011, Christian Sternagel wrote:
>> ###
>> ### Building Isabelle/Scala layer ...
>> ###
>> General/xml.scala:153: error: value err is not a member of package System
>> case bad => System.err.println("XML.cache_actor: ignoring bad input "
>> + bad)
> I have seen such unavailability of java.lang.System before, but have no
> idea about the reasons. In the JVM community there is the proverbial
> "CLASSPATH problem", which means that the whole concept is broken in
> many subtle ways.
> You should make sure that JAVA_HOME points to JDK 1.6 from Oracle or
> Apple (yes that is evil, but it is the only version that really works).
> SCALA_HOME should be 2.8.1.final, e.g. by re-using the scala component
> from Isabelle2011.
> Then make sure that all previous jars are purged, as already pointed out
> by Alex.
> Makarius

More information about the isabelle-dev mailing list