[MLton-devel] no libgmp requirement?

[Stephen Weeks]

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


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