gmp [library] version numbers

[Hugh Sasse]

On Tue, 9 Jan 2007, Richard B. Kreckel wrote:

> Hi!
> 
> Hugh Sasse wrote:
> 
> >Building gmp-4.1.2 I end up with 

I *meant* to type 4.2.1 there of course...!
> >
> >-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
  SONAME      libgmp.so.3
agrees...  So something internal must be tweaked.
> 
> So you can rename it to libgmp.so.3.<n>, but not to libgmp.so.4.<m>, 
> without seriously confusing your dynamic linker.

Where n is 4.2.1, 2.1, or what?  That's just confused *me* :-)
> 
> If at all, this is a bug in the configure script you're having there. 

Would it help to see the guile configure script chunk that deals with 
this?  I'm inclined to think that if the libraries are written to disk
with names of the form 3.* for version 4.* it won't be just guile that
gets confused.  The website remark about these being very wrong suggest
the problem belongs to gmp.

> But maybe it's just not finding libgmp at all?

Then it wouldn't conplain about the version number?
> 
> Regards
> -richy.
> 
        Thank you,
        Hugh