Re: [Bug-glpk] Wrong version of GMP library is wanted

[Andrew Makhorin]

On Wed, 2016-09-07 at 10:09 -0300, Balaco Baco wrote:
> >> Hello,
> >>
> >> recently I have downloaded and installed GLPK. By reading the file
> >> INSTALL, I decided to have it compiled with GMP.
> >>
> >> So I downloaded (source) and installed gmp-6.1.1. in default places. The
> >> important "make check" was also made, no problems found. No option to
> >> configure or make were used.
> >>
> >> After this, I came back to configure and install GLPK - so the configure
> >> did not complain about not finding GMP library. Everything was fine
> >> until I tried to run glpsol:
> >>
> >> ==
> >> $ glpsol
> >> glpsol: error while loading shared libraries: libgmp.so.10: cannot open
> >> shared object file: No such file or directory
> >> ==
> >>
> >> But I installed it! configure found it! What is wrong? I went
> >> searching... the /usr/lib has:
> >>
> >> ==
> >> $ ll /usr/lib/*gmp*
> >>      0 lrwxrwxrwx 1 root root   15 2016-05-25 13:03 libgmp.so.3 ->
> >> libgmp.so.3.5.2
> >> 384K -rw-r--r-- 1 root root 382K 2010-02-26 11:10 libgmp.so.3.5.2
> >> ==
> >>
> >> Why is glpsol wanting libgmp.so.10? I have no clue, but it should be
> >> satisfied with either so.3 or so.3.5.2, which is the current version I
> >> could find.
> >>
> >> I do not understand why it happened this way, but I consider it a
> >> problem that should be solved in GLPK.
> >>
> >> Regards,
> >>
> >> Balaco
> >>
> >>
> >
> > Make sure that /usr/local/lib is specified in /etc/ld.so.conf
> > or /etc/ld.so.conf.d/*. After you have configured and built glpk with
> > gmp, please type the command "make check" for glpk. If the same error
> > occurs, try "LD_LIBRARY_PATH=/usr/local/lib make check", and if this
> > doesn't help, please provide the complete log for "configure", "make",
> > and "make check". Thanks.
> >
> 
> Why adding /usr/local/lib to ld path if the library is installed in 
> /usr/lib?

You mentioned that you installed gmp-6.1.1. in default places. By
default 'make install' installs things in /usr/local/.

> 
> My point is that these details should be added to documentation.

I don't think so, because glpk uses the standard installation procedure
provided by GNU autotools like many other GNU packages.

> 
> I followed the documented steps without making anything different, using 
> the default for everything. The libgmp.so.3 and libgmp.so.3.5.2 were 
> installed in /usr/lib, which is in my path; but Glpk was looking for 
> .10! Why?

Glpsol is looking for that library which was linked via '-lgmp' option
on building glpsol executable, i.e. on running 'make' / 'make install'.

> 
> I solved the problem by creating the symbolic link libgmp.so.10 to 
> libgmp.so.3. Everything worked after that. It is not a good solution, in 
> my opinion. I imagine that something might be improved in Glpk, so this 
> situation does not happen for other users - it should find the correct 
> library, installed.

The issue is not related to glpk. As I explained above, on building
glpsol the gmp library is linked with '-lgmp' option. Perhaps you have
incorrectly installed gmp, so you may try to reinstall it.

> 
> If you still find it usefull, I may send you the complete log for 
> configuring and installing it. I must repeat it. Please ask again.
> 
> 
> 

This is not needed. Thanks.