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.
