[MLton-devel] gmp shared library

[Henry Cejtin]

You are right, under Red Hat 7.1 and 2002-09-20 libgmp isn't listed.
I think that if /lib and /usr/lib are added to what is found in ld.so.conf
then all will be ok.


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