[MLton-devel] no libgmp requirement?

Stephen Weeks MLton@mlton.org
Tue, 24 Sep 2002 09:50:27 -0700

> I'm confused by the listing of the requirements for mlton-20020923-1.i386.rpm
> on the download page.  It doesn't list libgmp.  This could be because none of
> the installed executables require it, 


> but it should be required I think.

I agree.  How about the following for the download page?

   rpm  for Red Hat 7.x (glibc 2.2, gmp 3.0, rpm 4.x)

> If that is what is going on there is probably a way to manually (by putting
> something in the .spec file) add that requirement.

Can you let me know?

> It isn't completely clear that it should be a requirement since you can use
> MLton without it, but none of the IntInf stuff will work.

Actually, MLton won't work without it, becauase it always links with
-lgmp or libgmp.a.

This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list