gmp-4.3.1 generates incorrect libgmp version...

[Tovrea, George W (US SSA)]

gmp-4.3.1

make install results in 

libgmp.so -> libgmp.so.4
libgmp.so.4 -> libgmp.so.4.0
libgmp.so.4.0

placed in the libdir.

This is problematic since other packages, like ppl, fail to configure
due to invalid libgmp version. For example, ppl configure fails with

checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher.


Bill Tovrea

BAE Systems

16550 West Bernardo Drive
San Diego, CA 92127

Telephone: (858) 592-5292

Pager: (888) 971-4964

E-mail: George.Tovrea at baesystems.com