[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] gcl-2.6.8
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] gcl-2.6.8 |
Date: |
Fri, 30 Jul 2010 11:32:40 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) |
Greetings!
Gabriel Dos Reis <address@hidden> writes:
> 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
>
Thanks! I have not committed my local patch yet. I don't want to
spoil the stable tree until all ducks are in a row. Would you like me
to send you the patch I am working with, and which gives me a working
build under wine?
Take care,
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- 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, 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, 2010/07/29
- Re: [Gcl-devel] gcl-2.6.8,
Camm Maguire <=
- 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