Re: acl2 autobuild

2004-10-18 Thread Camm Maguire
Greetings! A week ago, you so kindly checked zot for me to report the following status: = On Wed, Oct 06, 2004 at 05:00:23PM -0400, Camm Maguire wrote: > ... has been running for quite a while now -- is it stuck? It's st

Re: acl2 autobuild

2004-10-07 Thread Camm Maguire
Greetings, and thanks! OK, about 75% of the way through. There must be something very slow I'm doing in gcl for m68k. In general, m68k beats arm in compile time on all floating point and standard C lib packages of mine, but the reverse is true for these lisp based packages. maxima goes through

Re: acl2 autobuild

2004-10-07 Thread Wouter Verhelst
On Wed, Oct 06, 2004 at 05:00:23PM -0400, Camm Maguire wrote: > ... has been running for quite a while now -- is it stuck? It's still running on zot: [EMAIL PROTECTED]:/var/lib/buildd/logs$ tail -n 22 acl2_2.8-5_20040918-0542 (:REWRITE EXPT-MINUS) (:REWRITE UNICITY-OF-1) (

acl2 autobuild

2004-10-06 Thread Camm Maguire
... has been running for quite a while now -- is it stuck? Take care, -- Camm Maguire[EMAIL PROTECTED] == "The earth is but one country, and mankind its citizens." -- Baha'u'llah