[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.
MLton-devel mailing list