[isabelle-dev] Repository version of Isabelle on Windows 7
makarius at sketis.net
Tue Nov 10 00:11:28 CET 2015
On Mon, 9 Nov 2015, Anders Schlichtkrull wrote:
> ### Building Isabelle/Scala ...
> Concurrent\simple_thread.scala:45: error: object getProperty is not a member of package System
> val m = Properties.Value.Int.unapply(System.getProperty("isabelle.threads", "0")) getOrElse 0
Odd. I've seen something like this many years ago, with rather old
versions of Scala, but it did not happen recently.
What is the result of "isabelle getenv SCALA_HOME"?
To make double sure: can you delete ISABELLE_HOME/lib/classes/Pure.jar and
try again? Or try "isabelle jedit -bf".
In principle, this should all work routinely. I am building from
repository myself with Windows 2008, Windows 7, Windows 8.1, Windows 10.
More information about the isabelle-dev