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 segfaults triggered by write attempts,
recovers the fault address and marks the page read-write, and then
continues.  Only the read-write pages need be garbage collected.

One can test this by intalling GCL, running it with 'gcl', typeing
(fmakunbound 'si::sgc-on) and then (si::save-system "/tmp/foo"), then
move /tmp/foo to /usr/lib/gcl-2.6.7/unixport/saved_gcl (if that is the
current path as I seem to recall).  If this is not the case, then I
can only imagine that 2.9.3 is taking up a bit more memory which is
exceeding the bounds only on 64bit.

It might be some time before I can look into this by hand.  I mention
this in case you or someone else has some time to try the above.

Take care,


Kurt Roeckx <[EMAIL PROTECTED]> writes:

> 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
> 
> 
> 
> 
> 

-- 
Camm Maguire                                            [EMAIL PROTECTED]
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to