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