3 Feb
2016
3 Feb
'16
9:48 p.m.
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