[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.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel