<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class="">On 3 May 2018, at 12:56, Makarius <<a href="mailto:makarius@sketis.net" class="">makarius@sketis.net</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">On 03/05/18 13:18, Lawrence Paulson wrote:<br class=""><blockquote type="cite" class="">I'm encountering a strange phenomenon: the HOL build process runs for just over two minutes (which is not long enough to complete) and then seems to stop running, using 0.1% of the processor. I can repeat it and the same thing happens again. Today I was lucky on the third attempt. What could cause the build to hang and do nothing?<br class=""></blockquote><br class="">What is your changeset id?<br class=""></div></div></blockquote><div><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(214, 254, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">~/isabelle/Repos/src/HOL: hg id</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(214, 254, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">8dc792d440b9+ tip</span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><br class=""></span></div><blockquote type="cite" class=""><div class=""><div class="">What is the underlying hardware?<br class=""></div></div></blockquote><div><br class=""></div><div>Mac Pro (2013), 3.5GHz 6-Core Xeon E5 with 16GB</div><br class=""><blockquote type="cite" class=""><div class=""><div class="">What are the build options, e.g. the bottom of the output of "isabelle<br class="">build -?” ?<br class=""></div></div></blockquote><br class=""></div><div>One was “isabelle jedit <theory>” and the other was this:</div><div><br class=""></div><div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(214, 254, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">~/isabelle/Repos/src/HOL: isabelle build -b HOL</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(214, 254, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">Building HOL ...</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(214, 254, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">^C^C^C*** Interrupt</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(214, 254, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">HOL FAILED</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(214, 254, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">Unfinished session(s): HOL</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(214, 254, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">0:08:42 elapsed time, 0:02:13 cpu time, factor 0.25</span></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Consolas; background-color: rgb(214, 254, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">^C^C</span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><br class=""></span></div></div><br class=""></body></html>