[isabelle-dev] build and run Isabelle/jEdit on the spot
christian.sternagel at uibk.ac.at
Thu Jul 7 10:27:06 CEST 2011
after cloning the Isabelle repository from scratch the Isabelle/Scala
layer finally builds. However, when building Isabelle/jEdit I still get
src/plugin.scala:410: error: value setStyleExtender is not a member of
src/token_markup.scala:82: error: type StyleExtender is not a member of
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.
More information about the isabelle-dev