[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Can't compile latest GCL on Ubuntu 14.04
From: |
Faré |
Subject: |
Re: [Gcl-devel] Can't compile latest GCL on Ubuntu 14.04 |
Date: |
Fri, 12 Sep 2014 11:30:33 -0400 |
On Fri, Sep 12, 2014 at 10:03 AM, Camm Maguire <address@hidden> wrote:
> Greetings, and thanks for your patience! I have not forgotten about
> you!
>
> I've committed basically Will's dis-asm reordering patch to master to
> (hopefully) fix your immediate problem.
>
Thanks!
> Please be aware that 2.6.11 is not yet merged into master, and I do not
> feel comfortable working extensively on it until this is done.
>
> 2.6.11 has revealed an ACL2_HONS improvement which I am chasing at the
> moment. When this is finished, then merge 2.6.11, then proceed with
> master. I hope this is OK.
>
Should I be testing on 2.6.11? Is there a rough description of
the differences between the two branches, somewhere?
I had defpackage woes before on GCL, and that looks like a regression,
although I haven't recorded which combination of GCL and ASDF worked
before — or whether indeed it was plainly loading asdf.o.
—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org
Fraud is the homage that force pays to reason. — Charles Curtis