[MLton] building mlton for darwin + intel

Matthew Fluet fluet at tti-c.org
Tue Feb 20 07:53:30 PST 2007

> Thant Tessman wrote:
>> Matthew Fluet wrote:
>>> Hi Thant,
>>> As I said on comp.lang.functional, you can download an x86-darwin 
>>> binary from http://www.mlton.org/Experimental, and to build from 
>>> sources on x86-darwin, you'll need sources from at least 20061101, 
>>> preferably a recent SVN checkout (http://www.mlton.org/Sources).
>>> In your last post on comp.lang.functional, you seemed to suggest that 
>>> the binaries from mlton.org weren't working for you?
>> Hi! Thanks for the reply.
>> I used svn to get the trunk of the mlton source, and it complains that
>>     /usr/local/lib/libgmp.3.dylib
>> referenced from /usr/local/bin/mllex is missing.
>> I managed to build libgmp.a from what was available on the gmp 
>> website, but it didn't build the above. I don't even know what a 
>> ".dylib" is unless it's just a new file extension for dynamic object 
>> files.

A .dylib is a MachO dynamic shared library (equivalent to a .so for an 
elf binary).

I think if you configure gmp with --enabled-shared, it should build the 
.dylib files.  At least, that's what I see in the DarwinPorts port file, 
and I have the .dylib files in my DarwinPorts install of gmp.

More information about the MLton mailing list