[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] gcl-2.6.8
From: |
Camm Maguire |
Subject: |
[Gcl-devel] gcl-2.6.8 |
Date: |
Wed, 28 Jul 2010 17:42:21 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) |
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.
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, 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 <=
- Re: [Gcl-devel] gcl-2.6.8, Gabriel Dos Reis, 2010/07/29
- 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