[isabelle-dev] Analysis not building

[Florian Haftmann]

> HOL-Analysis can’t be built (reproducibly) with the latest version (76f2d492627e). It simply dies, no error message.

I cannot reproduce this.

  ML_PLATFORM="x86_64_32-linux"
  ML_SYSTEM="polyml-5.7.1"
  ML_OPTIONS="--maxheap 9G"

Have you tried a fresh build or delete the corresponding log / saved
state manually?

Cheers,
	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/20190202/1e591c53/attachment.sig>