On 03/05/18 13:18, Lawrence Paulson wrote:
> 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?
What is your changeset id?
What is the underlying hardware?
What are the build options, e.g. the bottom of the output of "isabelle
build -?" ?
Is that really just the HOL image, or HOL-Proofs? For week I have trie
to evade a resource problem with HOL-Proofs and threads=2. The latest
attempt is 0acf3206a723, but it should not affect the HOL image.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
