[isabelle-dev] Failed to compile sources

Lars Noschinski noschinl at in.tum.de
Sun Aug 12 22:17:28 CEST 2012


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



More information about the isabelle-dev mailing list