[isabelle-dev] HOL-Nominal-Examples starving on lxbroy10
florian.haftmann at informatik.tu-muenchen.de
Sun Jun 28 17:32:34 CEST 2020
I'm reproducibly running into a mysterious build issue on lxbroy10.
Using hg id
ISABELLE_TOOL_JAVA_OPTIONS=-Djava.awt.headless=true -Xms512m -Xmx4g
isabelle build HOL-Nominal-Examples
does not terminate after a few hours, leaving a java and a polyml
process with no significant resource usage.
I'm at a loss to diagnose what's going on here.
Maybe a side effect of recent renovation of the build process?
I would appreciate if you can have a look at it.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 228 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev