Greetings, and thanks! Kurt Roeckx <[EMAIL PROTECTED]> writes:
> On Thu, Oct 13, 2005 at 09:03:12PM +0200, Kurt Roeckx wrote: > > On Thu, Oct 13, 2005 at 06:40:26PM +0200, Kurt Roeckx wrote: > > > > You might want to try again with gcl 2.6.7-10 -- I made a small 64bit > > > > adjustment which could possibly address this. > > > > > > I saw the one in -9 which failed for maxima, but didn't see the > > > changelog for -10 before. > > > > It seems that I didn't tried those things with -9 again, since > > -10 still wasn't build, it'll get build in about 3 hours > > probably, so I'll try again later. I won't have time tomorrow, > > but I'll try and do it this weekend. > > So I've retried it with -10, and it's still failing in the same way. > > I've also tried doing a complete rebuild with -10 and the > (fmakunbound 'si::sgc-on) thing, then I get: > $ make top.cert > Making /usr/src/acl2-2.9.3/books/rtl/rel4/support/top1.cert on > Sat Oct 15 16:47:49 CEST 2005 > **CERTIFICATION FAILED** > make: *** [top1.cert] Error 1 > > And it stopped the top1.out (and build) with this: > Loading /usr/src/acl2-2.9.3/books/rtl/rel4/arithmetic/expt.o > start address -T 0x3a52bd0 Finished loading > /usr/src/acl2-2.9.3/books/rtl/rel4/arithmetic/expt.o > [GC for 62386 CONS pages..(T=53).GC finished] > > Error: The storage for CONS is exhausted. > Currently, 62386 pages are allocated. > Use ALLOCATE to expand the space. > Fast links are on: do (si::use-fast-links nil) for debugging > Error signalled by INCLUDE-BOOK-FN. > Broken at COND. Type :H for Help. > ACL2[RAW LISP]>> > NIL > ACL2[RAW LISP]>> > OK, so this confirms the other branch of the hypothesis, that fault recovery is OK, but something is trying to allocate too much memory. This can't be a purely 64bit issue as alpha and ia64 are OK. And to make things more interesting, I've succesfully built acl2 atop gcl compiled with -g only on pergolesi. Trying now with -g -O2. Take care, > > > Kurt > > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]