On Fri, Sep 12, 2014 at 10:03 AM, Camm Maguire <c...@maguirefamily.org> 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 _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org https://lists.gnu.org/mailman/listinfo/gcl-devel
