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 <desti...@mac.com>, gcl-devel@gnu.org From: Camm Maguire <c...@maguirefamily.org> 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 c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
