Bug#323666: acl2: FTBFS on amd64

2005-10-17 Thread Camm Maguire
Greetings, and thanks! Kurt Roeckx <[EMAIL PROTECTED]> writes: > 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 cou

Bug#323666: acl2: FTBFS on amd64

2005-10-15 Thread Kurt Roeckx
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 m

Bug#323666: acl2: FTBFS on amd64

2005-10-13 Thread Kurt Roeckx
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

Bug#323666: acl2: FTBFS on amd64

2005-10-13 Thread Kurt Roeckx
On Thu, Oct 13, 2005 at 09:50:32AM -0400, Camm Maguire wrote: > > Well, does the error appear in the same place all the time when it > does occur? So far it seems to always have failed at books/textbook/chap11/xtr2.lisp > The error in the log you posted is here: > > SGC for 0 RELOCATABLE-BLOC

Bug#323666: acl2: FTBFS on amd64

2005-10-13 Thread Kurt Roeckx
On Thu, Oct 13, 2005 at 09:50:32AM -0400, Camm Maguire wrote: > > Well, does the error appear in the same place all the time when it > does occur? > > The error in the log you posted is here: > > SGC for 0 RELOCATABLE-BLOCKS pages..(66907 writable).. > Unrecoverable error: Pages out of range i

Bug#323666: acl2: FTBFS on amd64

2005-10-13 Thread Camm Maguire
Greetings! Kurt Roeckx <[EMAIL PROTECTED]> writes: > On Tue, Sep 27, 2005 at 05:55:00PM -0400, Camm Maguire wrote: > > Greetings! I've looked at the build log, and know where the error > > is. I suspect some problem in the fault address recovery code of the > > building kernel. GCL has two gar

Bug#323666: acl2: FTBFS on amd64

2005-09-27 Thread Kurt Roeckx
On Tue, Sep 27, 2005 at 05:55:00PM -0400, Camm Maguire wrote: > Greetings! I've looked at the build log, and know where the error > is. I suspect some problem in the fault address recovery code of the > building kernel. GCL has two garbage collection modes, the > conventional, and "SGC" or strat

Bug#323666: acl2: FTBFS on amd64

2005-09-27 Thread Camm Maguire
Greetings! I've looked at the build log, and know where the error is. I suspect some problem in the fault address recovery code of the building kernel. GCL has two garbage collection modes, the conventional, and "SGC" or stratefied garbage collection, which marks pages read only, waits for segfa

Bug#323666: acl2: FTBFS on amd64

2005-09-23 Thread Kurt Roeckx
Hi, acl2 2.9.3-2 failed to build again amd64 with the same error message. A buildd log is available at: http://amd64.ftbfs.de/fetch.php?&pkg=acl2&ver=2.9.3-2&arch=amd64&stamp=1127490149&file=log&as=raw I suspect this is some timing related bug somewhere. Kurt -- To UNSUBSCRIBE, email to [E

Bug#323666: acl2: FTBFS on amd64

2005-08-17 Thread Kurt Roeckx
It seems that it build now for some reason while it failed 3 days ago. Kurt -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#323666: acl2: FTBFS on amd64

2005-08-17 Thread Kurt Roeckx
Package: acl2 Version: 2.9.3-1 Severity: important Hi, Your package is failing to build on amd64 with the following error: Compiling /build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Fini