Manjaro doesn’t seem to find shared libraries in /usr/local/lib.
I’m trying to run “Span” (a part of Avispa). This requires a shared library file libtk8.5.so.0.
I have installed them, but having a hard time making it to be used by span.
Please see the below screenshot.