[MLton-devel] (no subject)
Henry Cejtin
henry@sourcelight.com
Sun, 22 Sep 2002 14:46:31 -0500
On my vanilla Red Hat 7.1 machine, compiling hello-world with the OLD
(2002-04-10) MLton produces an a.out file which ldd reports needs libgmp.
There is definitely a libgmp.a in in /usr/lib which is in /etc/ld.so.conf. I
am confused.
-------------------------------------------------------
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