On 05/04/2019 17:30, Traytel Dmitriy wrote: > > I have the same problem as Jasmin (on a MacBook Pro running macOS 10.14.3). > > I can build Isabelle2018 (also from the repository via hg update -r > Isabelle2018). > > Stack Trace > main [1] (RUNNABLE) > scala.tools.nsc.ast.Trees.newStrictTreeCopier line: 108 > scala.tools.nsc.ast.Trees.newStrictTreeCopier$ line: 108 > scala.tools.nsc.Global.newStrictTreeCopier line: 44 > scala.tools.nsc.Global.newStrictTreeCopier line: 44
This is the Scala compiler -- the "nsc" package refers to the "new scala compiler". Some years ago we have had a similar situation where Scala-generated Java Byte Code did not work properly on certain multicore Macs. Here the compiler itself gets into problems, but it also consists of Scala-generated Java Byte Code. I have presently two mac Minis available for testing, of quite different age. Both are running current macOS 10.14.4, and both can build "isabelle jedit -b -f" with current tip 9b34dbeb1103. So I cannot do anything right now -- it works for me on my hardware. Since you manage to build Isabelle2018, you could run "hg bisect" to find the problem in the history. This will be a bit time-consuming, though. Note that you need to run "isabelle components -a" and a strict "isabelle jedit -b -f" in every step. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev