[MLton-devel] gmp shared library

Stephen Weeks MLton@mlton.org
Sun, 22 Sep 2002 12:36:55 -0700

> 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.
MLton-devel mailing list