On 19/08/17 20:31, Manuel Eberl wrote: >> If you still have that, can you send it to me? > > Sure. > >> 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 the crash: * 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, e.g. https://www.phoronix.com/scan.php?page=news_item&px=Ryzen-Compiler-Issues Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev