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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
