[isabelle-dev] HOL-Nominal-Examples starving on lxbroy10

[Florian Haftmann]

Dear Makarius,

I'm reproducibly running into a mysterious build issue on lxbroy10.

Using hg id

	 6678e4d9508f

and settings

	ML_SYSTEM=polyml-5.8.1
	ML_PLATFORM=x86_64_32-linux
	ML_OPTIONS=--minheap 500
	ISABELLE_TOOL_JAVA_OPTIONS=-Djava.awt.headless=true -Xms512m -Xmx4g
-Xss16m -Xmx8g

a

	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.

Greetings,
	Florian


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200628/32dbd308/attachment.sig>