pointyhat and kernel settings

[Timothy Bourke]

On May 21 at 15:40 -0400, Kris Kennaway wrote:
> If it really needs 896MB of data size to build (as opposed to run),
> then it's unsuitable for building on pointyhat and you should mark it
> NO_PACKAGE.  If this is only a runtime limit, then enforcing it at
> build time is probably not appropriate.

It seems that the maximum resident set size of any of the build
processes is approximately 100MB.

By default, Isabelle runs on Poly/ML which, for speed, loads/sets its
memory segments to specific virtual addresses. This is the reason, right
or wrong, for having to tweak maxdsiz.

Tim.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 187 bytes
Desc: not available
Url : http://lists.freebsd.org/pipermail/freebsd-ports/attachments/20060522/3a4e6aff/attachment.pgp