On Wed, 3 Feb 2016, Artella Coding wrote:
The build process which ends up consuming too much memory says :
*******
Isabelle build (polyml-5.6_x86_64-linux / jdk-8u72_x86_64_linux)
Build started for Isabelle/HOL...
Building HOL...
HOL:theory ...
...
*******
Is there any way of configuring the maximum amount of memory this build
process uses?
If you only build Pure instead of HOL, the above is irrelevant.
For big applications -- not just trying some ML -- you should install
32bit g++ libraries to allow Poly/ML running efficiently in the small
address model. That sounds paradoxical, but is important: big Isabelle
applications need small 32bit model to avoid requiring the double amount
of heap space.
Makarius
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
