On 19/08/17 20:31, Manuel Eberl wrote:
>> If you still have that, can you send it to me?
>> Since the JVM crash happened during scalac compilation, I recommend to
>> enforce a fresh build, e.g. like this:
The log says "java_command: isabelle.Isabelle_Tool build -b
HOL-Analysis" so this was really the "isabelle build", after scalac
compilation was finished.
Reading the tea leaves further, I see the following potential reasons of
* jdk-8u144 (see Isabelle/98afae4308f5)
* scala-2.12.3 (see Isabelle/96ad7d5ff613)
* hardware: AMD Ryzen 7 1800X Eight-Core Processor
I've seen occasional press articles discussing problems of AMD Ryzen,
isabelle-dev mailing list