[isabelle-dev] Building Isabelle/Scala layer from Repository Version on Windows7 (64 Bit)

[Steffen J. Smolka]

Dear all,

I'm trying to get the Repository Version of Isabelle to run on Windows7 (64
Bit).
When executing

> ./bin/isabelle jedit

in cygwin, I get the following error:

> ### Building Isabelle/Scala layer ...
> System\main.scala:28: error: object exit is not a member of package System
>     System.exit(rc)
>            ^
> one error found
> Failed to compile sources


I've installed SUN JDK 1.6u32 (64 Bit) and Scala 2.9.2 final, the
ISABELLE_JDK_HOME and SCALA_HOME environment variables are set accordingly.

My .isabelle/etc/settings file looks like this:

> init_component "/cygdrive/c/Isabelle2012/contrib/scala-2.9.2"
> init_component "..../isabelle/jedit_build-20120414"


Any ideas on how to fix this?

Best Regads
Steffen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120527/5d3964b4/attachment.html>