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
JAVA_HOME=/usr/java/jdk1.6.0_23

$ ~/Repos/isabelle/bin/isabelle getenv SCALA_HOME
SCALA_HOME=/usr/local/Isabelle2011/contrib/scala-2.8.1.final

$ ~/Repos/isabelle/bin/isabelle getenv CLASSPATH
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?

cheers

chris

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


_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to