[MLton-devel] no libgmp requirement?

[Henry Cejtin]

If  I  have  understood the Maximum RPM documentation, the secret is first to
run
    rpm -q --provides gmp
and
    rpm -q --provides gmp-devel
to see what is actually provided by these RPMs:

    libgmp.so.3
    libmp.so.3
    gmp = 3.1.1-3
and
    gmp-devel = 3.1.1-3

Note, no one explicitly lists libgmp.a, but using
    rpm -qf /usr/lib/libgmp.a
shows that it is gmp-devel which does this.

Now you have to add a line to the spec file which is
    requires:       ?, ?, ..., ?
where the ? are one of the things  provided  by  these  RPMs.   You  can  add
version dependencies by having ? be of the form
    ? >= x.y
and the like.

I guess that my suggestion would be
    requires:       gmp >= 3.1.1, gmp-devel >= 3.1.1
for the Red Hat 7.* RPMs and
    requires:       gmp >= 2.0.2, gmp-devel >= 2.0.2
for the Red Hat 6.* RPMs.

If  you  don't  want  to  bother  checking that the version numbers are large
enough, you could drop the
    >= x.y.z
parts above.  This would only test  that  the  gmp  and  gmp-devel  RPMs  are
installed  without  checking  that  they  are  a  high enough version number.
Actually, that is probably the right thing to  do  since  any  version  would
probably work.


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