[MLton-user] MLton on Mac OS X 10.5

Alan Mock 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.
Thanks again,
Alan Mock

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
>>> /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.




More information about the MLton-user mailing list