[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 13:23:18 -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?
>
> 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.
>

I configured GLPK to use Gmp, but I did not choose which version it 
should get. It should get the installed version - that was indeed the 
current one, avaibable to download in its project page.

If system variables or anything similar should be changed to make glsol 
work is needed, it should do it. I installed it with root access.

Look at the fix I did: I created a symbolic link for a file that already 
existed! In the /usr/lib folder. I did not copy the files from 'local' 
folder before.

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