Hallo, on 158c513a39f5, I just had a JVM crash during "isabelle build" when it was building Isabelle/Scala. (Log attached).
When I did "isabelle build" again, it proceeded to build the Pure session without problems. However, when I then tried to build HOL-Computational_Algebra, it stopped and said "HOL-Computational_Algebra FAILED", but the log did not contain any error messages. The last message was ### theory "HOL-Computational_Algebra.Polynomial_Factorial" ### 10.690s elapsed time, 39.546s cpu time, 6.455s GC time I wonder if this could also be due to a JVM crash. Cheers, Manuel
### Building Isabelle/Scala ... Changed files: Admin/build_status.scala GUI/wrap_panel.scala General/file.scala General/http.scala General/path.scala General/url.scala PIDE/command.scala PIDE/document.scala PIDE/document_id.scala PIDE/markup.scala PIDE/protocol.scala PIDE/session.scala PIDE/xml.scala System/isabelle_tool.scala System/system_channel.scala Thy/html.scala Thy/sessions.scala Thy/thy_header.scala Tools/imports.scala Tools/server.scala library.scala ../Tools/Graphview/graph_panel.scala ../Tools/Graphview/tree_panel.scala ../Tools/VSCode/src/build_vscode.scala ../Tools/VSCode/src/grammar.scala ../Tools/VSCode/src/preview_panel.scala ../Tools/VSCode/src/protocol.scala ../Tools/VSCode/src/server.scala ../Tools/VSCode/src/state_panel.scala ../Tools/VSCode/src/vscode_javascript.scala ../Tools/VSCode/src/vscode_rendering.scala ../Tools/VSCode/src/vscode_resources.scala # # A fatal error has been detected by the Java Runtime Environment: # # SIGSEGV (0xb) at pc=0x00007f25a57c5b6c, pid=13339, tid=0x00007f256066c700 # # JRE version: Java(TM) SE Runtime Environment (8.0_144-b01) (build 1.8.0_144-b01) # Java VM: Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode linux-amd64 compressed oops) # Problematic frame: # J 2075 C2 scala.util.parsing.combinator.Parsers$Parser$$Lambda$107.apply(Ljava/lang/Object;)Ljava/lang/Object; (16 bytes) @ 0x00007f25a57c5b6c [0x00007f25a57c5b00+0x6c] # # Core dump written. Default location: /home/manuel/hg/afp-devel/core or core.13339 # # An error report file with more information is saved as: # /home/manuel/hg/afp-devel/hs_err_pid13339.log # # If you would like to submit a bug report, please visit: # http://bugreport.java.com/bugreport/crash.jsp # /home/manuel/hg/isabelle/lib/scripts/getfunctions: line 1: 13339 Aborted (core dumped) "$JAVA_HOME/bin/$PRG" "$@"
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev