[MLton-user] MLton on Mac OS X 10.5
docmach at gmail.com
Sun Dec 2 19:36:25 PST 2007
Thank you both for your help. Since this isn't a MLton issue I will
take it elsewhere.
On Dec 2, 2007, at 8:06 PM, Matthew Fluet wrote:
> On Sun, 2 Dec 2007, Ville Laurikari wrote:
>> On Sun, Dec 02, 2007 at 03:19:10AM -0600, Alan Mock wrote:
>>> ld: duplicate symbol ___gmpz_abs in util.o and
>>> in the runtime directory.
>>> I searched for this error and I found
>>> which is the same error for a different program, but I don't see
>>> how to fix
>>> From the page linked to above, I found a link to here:
>> Here's the relevant part:
>> Problem -- Multiple symbols... --
>> comment out this one line 423 of local/include/gmp.h
>> /* #define __GMP_EXTERN_INLINE extern __inline__ */
>> So, you may be able to get it to work by editing the gmp.h on the
>> systems as shown above.
> As Ville points out, the problem is with GMP on MacOS X 10.5. So,
> you may need to take the issue up with the GMP developers (though,
> as I understand it, GMP isn't officially supported on MacOS X (any
> version)) or with the Fink or MacPorts maintainers of GMP.
More information about the MLton-user