Greetings, and thanks for your reply! Peter Palfrader <wea...@debian.org> writes:
> On Mon, 26 Aug 2013, Camm Maguire wrote: > >> Greetings! I seem to be able to allocate 1Gb of memory on all porter >> machines but fischer, which will give me 500M. The machine appears to >> have more, but brk will fail past this point. This persists if I use a >> linker script to raise the .text and .data addresses over the congested >> default region. I'm wondering if there is a per process limit >> somewhere. In any case, recent acl2 requires about 1Gb to build. Can >> this be fixed in someway, or is there an alternative? > > You'll have to ask the porters. As far as I can tell the system has 3 > gigs of real memory and 500m of swap. That should be sufficient for > your needs and if it isn't I would think that's a platform issue. I've been told that the following needs executing to make this memory available to brk: > You first have to raise system wide limit > and after that eventually local limit by i.e.: > > sysctl kern.maxdsiz=1887436800 > ulimit -H -d 1887436800 > ulimit -S -d 1887436800 Would this be possible on fischer/autobuilder machines for kf-i386? Take care, -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah -- To UNSUBSCRIBE, email to debian-bsd-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/87y57k1pch....@maguirefamily.org
