Broken symlinks when installing shared libraries

[AugusteBourgois]

Hello Ibex team,

I recently updated my local installation of ibex to the last commit on branch develop, to be able to use the latest improvements made with the cmake compilation system. I successfully built ibex using the following command
cmake .. -DBUILD_SHARED_LIBS=1
The problem appears when running
sudo make install
Everything seems to install successfully in /usr/local but the targets to the following symlinks:

• /usr/local/lib/ibex/3rd/libgaol.so
• /usr/local/lib/ibex/3rd/libgdtoa.so
• /usr/local/lib/ibex/3rd/libultim.so

The targets are called respectively

• libgaol-4.2.so.0.0.0
• libgdtoa.so.0.0.0
• libultim-2.1.so.0.0.0

The latter are actually built, and can be found somewhere in the build folder created prior to compilation. Manually copying them in /usr/local/lib/ibex/3rd solved my problem. They are just not installed by the command sudo make install

Best regards,
Auguste Bourgois

[cyrilbouvier]

I am able to reproduce the problem. It concerns all 3rd-party libraries installed via the CMake scripts (gaol, filib, soplex, ...). It comes from the way CMake scripts install 3rd-party library: it calls the CMake macro install (FILES ...) which does not follow symbolic links.
I will try to fix this issue.

[cyrilbouvier]

Commit 80d4673 should fix this issue on the develop branch.

[AugusteBourgois]

I tried to make a clean installation with the latest commit of the develop branch, but I still have the same problem :
The simlinks found in /usr/local/lib/ibex/3rd still point to a non existent target. Note that the targets are built and can be found in

• libgdtoa.so libgdtoa.so.0 libgdtoa.so.0.0.0 -> build/interval_lib_wrapper/gaol/gaol-4.2.0/lib
• libgaol.so libgaol-4.2.so.0 libgaol-4.2.so.0.0.0 -> build/interval_lib_wrapper/gaol/gaol-4.2.0/lib
• libultim.so libultim-2.1.so.0 libultim-2.1.so.0.0.0 -> build/interval_lib_wrapper/gaol/mathlib-2.1.0/lib

[cyrilbouvier]

You right my commit fixes nothing. It works only in very specifix cases that I accidently had while I was testing it.

Can you try commit 723eb3a ? It is a quick-and-dirty fix. If it works, I will also fix the other 3rd-party libraries (soplex, filib, ...)

[AugusteBourgois]

I did a new clean install, and here is what I obtain :

• /usr/local/lib
  • libibex.so
  • ibex/3rd/
    • libgaol-4.2.so.0 -> libgaol-4.2.so.0.0.0
    • libgaol-4.2.so.0.0.0
    • libgaol.so -> libgaol-4.2.so.0.0.0
    • libgdtoa.so -> libgdtoa.so.0.0.0
    • libgdtoa.so.0 -> libgdtoa.so.0.0.0
    • libgdtoa.so.0.0.0
    • libultim-2.1.so.0 -> libultim-2.1.so.0.0.0
    • libultim-2.1.so.0.0.0
    • libultim.so -> libultim-2.1.so.0.0.0

So it seems to work. I can also build my programs.

However, when I try to execute them, I obtain the error
error while loading shared libraries: libgdtoa.so.0: cannot open shared object file: No such file or directory
except if I create the symlinks directly in /usr/local/lib (and not in /usr/local/lib/ibex/3rd)

[cyrilbouvier]

So it seems to work. I can also build my programs.

Thanks I will do the same changes for the other librairies where needed.

However, when I try to execute them, I obtain the error
error while loading shared libraries: libgdtoa.so.0: cannot open shared object file: No such file or directory
except if I create the symlinks directly in /usr/local/lib (and not in /usr/local/lib/ibex/3rd)

Look at the Ibex doc (in particular the section mentionning LD_LIBRARY_PATH) or search for documentation on Internet on the envionement variable LD_LIBRARY_PATH and how it relates to shared libraries.