[MLton-devel] gmp shared library

Henry Cejtin henry@sourcelight.com
Sun, 22 Sep 2002 14:53:16 -0500

According to the man page for ldconfig, it seems that /usr/lib and /lib are
searched regardless of what appears in /etc/ld.so.conf.  The old (Red Hat 7.1)
ld.so.conf listed /usr/lib/any way, but the new (Red Hat 7.3) does not.
I would say the thing to do is add these two directories to what ever is
found in ld.so.conf.

This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list