[MLton-devel] no libgmp requirement?

[Stephen Weeks]

> I agree on waiting for demand on Red Hat 6.* RPMs, but what about changing
> the spec file to just require gpm?  Do we care about the version?  I.e., if
> some one has the older libgmp won't our stuff work unchanged and as compiled
> on the binary RPM?  I guess it might not.

Like I said, I think we have problems with gmp 2, so the version is
important.


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