[MLton-devel] gmp shared library

[Henry Cejtin]

The new version seems to require the libgmp shared library even in programs
that don't use IntInf.  This was fixed in the old version.  The result is that
MLton-compiled executables can't be sent to machines without libgmp installed.


-------------------------------------------------------
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