[MLton-devel] no libgmp requirement?

[Stephen Weeks]

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

Right

> but it should be required I think.

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

Binary
   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.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel