[MLton-devel] no libgmp requirement?

[Henry Cejtin]

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


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