[MLton-devel] (no subject)

[Stephen Weeks]

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

The change was put in on 20020426, so what you say makes sense.  What
happens if you use 20020920 on the same machine?


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