[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Bug#802593: gcl: FTBFS on hurd-i386

From: Svante Signell
Subject: Re: Bug#802593: gcl: FTBFS on hurd-i386
Date: Thu, 22 Oct 2015 11:30:40 +0200

Cc: bug-hurd

On Wed, 2015-10-21 at 10:57 -0400, Camm Maguire wrote:
> Greetings, and thanks for your note!  Patch will be included in next
> upload.
> Do you work on Hurd?  There are several FTBFS errors in gcl dependencies
> (maxima,hol88,axiom,acl2) which I have been unable to resolve and appear
> to point to bugs in system libraries (as did the old FTBFS for gcl in
> which calls to system() would fail.)  The general symptom appears to be
> a lockup of some sort in the rpc system (see maxima).  Can this be
> fixed, or must it wait on deeper forthcoming fixes in the core Hurd
> system libraries?

All the above packages (except axiom) FTBFS, even with the latest gcl
(2.6.12). The build of acl2 fails with an assertion on the MAX_BRK limit
for mini-proveall, defined in gcl/h/386-gnu.h. Removing that limitation
makes the build fail earlier. Running your test program at
on a recent kernel gives an even lower limit for memory fragmentation.
0x70000000 fails now, and I used 0x6b000000 in the latest build. The
acl2 assertion still happens. Builds of maxima, hol88 will be tried

reply via email to

[Prev in Thread] Current Thread [Next in Thread]