[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] gcl-2.6.8
From: |
Gabriel Dos Reis |
Subject: |
Re: [Gcl-devel] gcl-2.6.8 |
Date: |
Thu, 29 Jul 2010 21:26:17 -0500 |
On Wed, Jul 28, 2010 at 4:42 PM, Camm Maguire <address@hidden> wrote:
> Greetings! Just a heads up on the status. Thanks to R. Krug's
> machine, I have an (as yet uncommitted) patch which builds gcl on all
> 3 flavors of macs (ppc, x86 10.5, and x86 10.6) , and windows emulated
> under wine, which build maxima and acl2 passing all tests. Will be
> adding axiom to the test suite, then commit, then finalize 2.6.8.
>
> The 10.6 build is 32bit at the moment. It appears that this is a hard
> limit at the present time due to gcc miscompiling gmp in 64bits.
>
> Donald, I think this patch will enable you to build natively under
> windows too. It would be great if we could test this when its ready
> in a few days. I have a few questions for you regarding paths and
> windows installers.
>
> I'll send out a note when the commit is in.
>
I just tried a build with msys/mingw32 on windows 7; it fails
with:
Unrecoverable error: NULL_OR_ON_C_STACK macro invalid
- Re: [Gcl-devel] Re: ACL2 Version 4.0, (continued)
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/28
- [Gcl-devel] gcl-2.6.8, Camm Maguire, 2010/07/28
- Re: [Gcl-devel] gcl-2.6.8,
Gabriel Dos Reis <=
- Re: [Gcl-devel] gcl-2.6.8, Camm Maguire, 2010/07/30
- Re: [Gcl-devel] gcl-2.6.8, Gabriel Dos Reis, 2010/07/30
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27