[MLton-devel] gmp shared library

[Henry Cejtin]

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