[MLton] linking with GnuMP

Henry Cejtin henry@sourcelight.com
Thu, 23 Dec 2004 14:45:49 -0600

I don't have any qualms about the GMP code being in all MLton executables.
It is the dependence on the shared library being on the target machine that I
find (slightly) disturbing.  Still, it could be on enough machines now that
it isn't a big deal.