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

[Andrew Makhorin]

On Sun, 2016-09-04 at 18:25 -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.