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

Steffen J. Smolka steffen.smolka at in.tum.de
Sun May 27 15:00:27 CEST 2012

Dear all,

I'm trying to get the Repository Version of Isabelle to run on Windows7 (64
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120527/5d3964b4/attachment.html>

More information about the isabelle-dev mailing list