[MLton-user] dynamic linking to libgmp on os x

[Dave Herman]

> Alternatively, you could statically link to gmp.  It would have been 
> nice if one could do so with "-link-opt /path/to/libgmp.a", but that 
> puts it at the end of the linker invocation, so the dynamic library gets 
> used. You'll need to edit your /usr/local/bin/mlton script and replace 
> the '-lgmp' with '/path/to/libgmp.a'.

Perfect! That's all I need.

Thanks,
Dave