Greetings! Matt Kaufmann <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
