Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 22 May 2006 10:30:25 +1000
From:      Timothy Bourke <timbob@bigpond.com>
To:        freebsd-ports@freebsd.org
Subject:   Re: pointyhat and kernel settings
Message-ID:  <20060522003024.GB688@blipblop.cse.unsw.EDU.AU>
In-Reply-To: <20060521194043.GA45043@xor.obsecurity.org>
References:  <20060521015932.GB603@blipblop> <20060521194043.GA45043@xor.obsecurity.org>

next in thread | previous in thread | raw e-mail | index | archive | help

--vGgW1X5XWziG23Ko
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

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.


--vGgW1X5XWziG23Ko
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (FreeBSD)

iD8DBQFEcQYgtKVK1sFb0ecRAnHKAJ0fqMRBwi2UPWxcheo3YlFUUyavXQCfdGeZ
ZMhb866pyel3+jf/SDXkK6w=
=fe5A
-----END PGP SIGNATURE-----

--vGgW1X5XWziG23Ko--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20060522003024.GB688>