Re: [Gcl-devel] Re: ACL2 Version 4.0

[Matt Kaufmann]

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