-------- Forwarded Message -------- From: Balaco Baco <[email protected]> To: [email protected] 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. _______________________________________________ Bug-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-glpk
