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]>>
Kurt
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
