[MLton-devel] gmp shared library

[Stephen Weeks]

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

Right you are.  Bad.

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

We *did* put the fix in mlton/main/main.sml a while ago.  It looks for
a libgmp.a in the directories listed in /etc/ld.so.conf.  Maybe this
was a bad idea.  On all my linux machines libgmp is /usr/lib/libgmp.a.
On my RedHat 7.1 machine, /usr/lib is in ld.so.conf, but on my RedHay
7.3 and Debian 3.0 machines, it is not.  Maybe a reasonable fix is to
hardwire add "/usr/lib" to the patch search list for libgmp.


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