gmp [library] version numbers

[Richard B. Kreckel]

Hi!

Hugh Sasse wrote:

>Building gmp-4.1.2 I end up with 
>
>-rwxr-xr-x   1 root     other     268825 Jan  8 18:47 /usr/local/lib/libgmp.so.3.4.1
>lrwxrwxrwx   1 root     other         15 Jan  8 18:47 /usr/local/lib/libgmp.so.3 -> libgmp.so.3.4.1
>lrwxrwxrwx   1 root     other         15 Jan  8 18:47 /usr/local/lib/libgmp.so -> libgmp.so.3.4.1
>-rwxr-xr-x   1 root     other        783 Jan  8 18:47 /usr/local/lib/libgmp.la
>-rw-r--r--   1 root     other     530424 Jan  8 18:47 /usr/local/lib/libgmp.a
>-rwxr-xr-x   1 root     other      20984 Jan  8 18:47 /usr/local/lib/libgmpxx.so.3.1.1
>lrwxrwxrwx   1 root     other         17 Jan  8 18:47 /usr/local/lib/libgmpxx.so.3 -> libgmpxx.so.3.1.1
>lrwxrwxrwx   1 root     other         17 Jan  8 18:47 /usr/local/lib/libgmpxx.so -> libgmpxx.so.3.1.1
>-rwxr-xr-x   1 root     other       1213 Jan  8 18:47 /usr/local/lib/libgmpxx.la
>-rw-r--r--   1 root     other      28260 Jan  8 18:47 /usr/local/lib/libgmpxx.a
>
>The main web page for gmp has:
><quote>
>Additional issues with GMP 4.2:
>
>    * The solib numbers for the shared version of libgmp and libgmpxx are very wrong, making it appear older than version 4.1.4. 
></quote>
>
>This may be why guile is complaining about not having 4.1 or greater
>(but I can't understand what configure is actually checking here).
>What is the fix for this?  Can I just rename libgmpxx.so* or are other
>things being set incorrectly within the libraries?
>
>If it is a simple rename, could this be added to the web page, please?
>

$ objdump -x /usr/lib/libgmp.so |grep SONAME
SONAME libgmp.so.3

So you can rename it to libgmp.so.3.<n>, but not to libgmp.so.4.<m>, 
without seriously confusing your dynamic linker.

If at all, this is a bug in the configure script you're having there. 
But maybe it's just not finding libgmp at all?

Regards
-richy.

-- 
Richard B. Kreckel
<http://www.ginac.de/~kreckel/>