[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: GCL 2.6.8 release

From: Camm Maguire
Subject: [Gcl-devel] Re: GCL 2.6.8 release
Date: 14 Jul 2006 20:43:22 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2


Matt Kaufmann <address@hidden> writes:

> Hi, Camm --
> Thank you for your recent emails.  I hope to absorb them (especially the one
> about mutual-recursion) soon; I'm away this week.
> A couple of days ago, I ran a regression on the development copy of ACL2 built
> on GCL 2.6.7, and got strange errors in certification of a particular file.
> Fortunately, the regression passed using the GCL 2.6.8pre you built at UT
> (/p/bin/gcl-2.6.8pre), and for that matter, Allegro CL.  (Sorry... I didn't
> save the errors.  But some were very low level; something about "plist".)
> Anyhow, I'm guessing that I simply exposed a GCL 2.6.7 problem that's been
> fixed in GCL 2.6.8.  So I'm wondering: Might you be releasing GCL 2.6.8 soon?
> It would be great if ACL2 releases would run fine on an existing, recent GCL.
> I might want to do an ACL2 incremental release late next week.

Thank you for reminding me -- There is a problem in autobuilding on
ia64 yet, together with a few mods from Gordon for xgcl that need
going in.  I had wanted axiom/acl2/maxima/gcl on all 12 Debian
platforms before release, but this may be unreasonably ambitious.  The
mips and m68k autobuilders have stalled.  I'll try to get this in
before leaving for a week's holiday at the end of next week.

Take care,

> Thanks --
> -- Matt

Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]