[MLton-user] MLton on Mac OS X 10.5

[Matthew Fluet]

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
>> /var/folders/iF/iFb-LQvNEVex0X5CVvgtsU+++TI/-Tmp-//ccL90sh1.o
>> in the runtime directory.
>>
>> I searched for this error and I found
>> http://groups.google.com/group/sage-devel/browse_thread/thread/c8676d7ac1950daa
>> which is the same error for a different program, but I don't see how to fix
> [clip]
>
>> From the page linked to above, I found a link to here:
>  http://trac.sagemath.org/sage_trac/ticket/1005
>
> Here's the relevant part:
>
>  Problem -- Multiple symbols... --
>  Solution:
>     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 10.5
> 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.