> 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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
