[isabelle-dev] Isabelle/jEdit errors

[Tobias Nipkow]

Fixed. I installed the right scala version in the right place.

Tobias

Am 15/06/2012 20:57, schrieb Florian Haftmann:
>> *** Code check failed for Scala: env JAVA_OPTS='-Xms128m -Xmx512m
>> -Xss2m' "$SCALA_HOME/bin/scalac" ROOT.scala *** At command "export_code"
>> (line 662 of
>>> 
>>> ### Building Isabelle/jEdit ... src/scala_console.scala:21: error:
>>> IMain is not a member of scala.tools.nsc.interpreter import
>>> scala.tools.nsc.interpreter.IMain
> 
> Dont' know whether these problems still exists, but the output of
> 
>> isabelle getenv SCALA_HOME isabelle scala
> 
> would be extremely useful.
> 
> Cheers, Florian
>