[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Re: ACL2 Version 4.0
From: |
Matt Kaufmann |
Subject: |
Re: [Gcl-devel] Re: ACL2 Version 4.0 |
Date: |
Tue, 27 Jul 2010 17:02:02 -0500 |
Hi, Camm --
Gosh -- I don't know. There are probably cases where 64-bit code is
useful, but maybe that's not too important, at least in the short
term. Just having GCL easily available on a Mac would be nice as far
as I'm concerned, even if it's 32-bit. Whether it's worth additional
effort from you to pursue the gmp issue is a matter of your
priorities, combined with probably a better answer than I'm able to
give.
But... I could send an email to the ACL2 mailing list (or you could),
in order to get more sophisticated answers than I can provide. Should
I do that? Or, you're welcome to do so, of course.
Thanks --
-- Matt
Cc: Robert Krug <address@hidden>, address@hidden
From: Camm Maguire <address@hidden>
Date: Tue, 27 Jul 2010 17:54:11 -0400
X-SpamAssassin-Status: No, hits=-2.6 required=5.0
X-UTCS-Spam-Status: No, hits=-172 required=165
Greetings! I'm running into the following -- gmp appears to require
-m32 in cflags on this platform, which produces 32bit code. The mac
linker appears to refuse to combin 64bit and 32bit code. Is an all
32bit port for this machine useful/desireable, or should I pursue a
fix to the gmp issue?
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, 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/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 <=
- 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, 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