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

2015-10-22 Thread Camm Maguire
Greetings, and thanks again for your work on this! Svante Signell writes: > On Thu, 2015-10-22 at 11:30 +0200, Svante Signell wrote: >> Hi, >> Cc: bug-hurd >> > >> Running your test program at >> https://lists.debian.org/debian-hurd/2013/07/msg00038.html >> on a recent kernel gives an even low

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

2015-10-22 Thread Camm Maguire
Greetings, and thanks for following up on this! Almost forgot about that old post. I suppose if this issue is intractable at the kernel level, we could always emulate brk as we do on windows and macosx. Not knowing where the fragmentation occurs, its not clear this would get us true dynamic prob

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

2015-10-22 Thread Svante Signell
On Thu, 2015-10-22 at 11:30 +0200, Svante Signell wrote: > Hi, > Cc: bug-hurd > > 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. > 0x7000 fails now, and I used 0x6b00 in th

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

2015-10-22 Thread 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