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