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

[Andrew Makhorin]

-------- Forwarded Message --------
From: Balaco Baco <address@hidden>
To: address@hidden
Subject: Re: Wrong version of GMP library is wanted
Date: Wed, 07 Sep 2016 10:09:00 -0300

>> 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?

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

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?

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.

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.