[MLton-devel] no libgmp requirement?

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

> Yes, that looks good to me.  The only thing, like I said, is that I
> would probably have just used `gmp' and `gmp-devel', not the version
> check.

I felt safer requiring at least gmp 3, since we saw problems on
FreeBSD with gmp 2.

> If you did the version check, which it looks like you did, then you
> have to change the number for the Red Hat 6.* RPMs (if you still
> make them).

OK -- I'm gonna wait and see if there is any demand before making

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