Re: [isabelle-dev] Failed to compile sources

[Lars Noschinski]

On 12.08.2012 16:00, Makarius wrote:
On Sun, 12 Aug 2012, Lawrence Paulson wrote:
System/command_line.scala:29: error: not found: value sys
sys.exit(rc)
^
System/isabelle_system.scala:53: error: not found: value sys
val env0 = sys.env + ("ISABELLE_JDK_HOME" ->
standard_system.this_jdk_home())
^
System/gui_setup.scala:65: error: not found: value sys
case ButtonClicked(`ok`) => sys.exit(0)
^
System/main.scala:28: error: not found: value sys
sys.exit(rc)
^
four errors found
Failed to compile sources
~/isabelle/Repos/src/HOL: hg id
fd50596bf78b tip

That is a recent repository clone, but your contrib components seems to
be older than the last stable Isabelle release, which has scala-2.9.2
and this is also required here.

Also; if you upgrade your Scala version and still get that error, you 
might need to force a clean build (for jedit, this can be done with -f, 
IIRC).

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