[MLton-devel] gmp shared library

[Henry Cejtin]

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