webots-bin fails to link with OIS library on Linux about webots HOT 3 CLOSED

I forgot to mention that this problem exists on both the R2019a tag and the latest commit on master 5284af1.

from webots.

I just tried on Ubuntu 18.04 (x86_64) with the exact same compiler and liker versions and I can't reproduce the problem.

Can you please check that these files exist in webots/lib: libOIS.so and libOIS-1.4.0.so?
It would also be good to check if running the following commands from webots solves the problem: make cleanse and then make (this will ensure to reinstall the dependencies in case something went wrong the first time).
Finally, you could also try to recompile OIS 1.4 for your machine, we have documented the compilation instructions here: https://github.com/omichel/webots/wiki/OIS-compilation

from webots.

This is not reproducible.

from webots.