[MLton-devel] gmp shared library

Henry Cejtin henry@sourcelight.com
Sun, 22 Sep 2002 14:27:42 -0500

Hm, I thought that the fix was in the old version to avoid requiring libgmp
for programs that don't use IntInf, but that appears not to be the case.
Despite that, I claim that this should be fixed.  At the moment the only
symbol being pulled in from libgmp is __gmpn_set_str.  My recollection was
that before no symbol was required, but the fact that the shared library
was mentioned on the link line was enough.  What changed?

This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list