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

[Svante Signell]

Hi,
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
https://lists.debian.org/debian-hurd/2013/07/msg00038.html
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
next.