Failure to locate library when loading idris2
When I try to run idris2, I get this:
Exception: (while loading libidris2_support.so) Error loading shared library libidris2_support.so: No such file or directory
But when I run it like this, it works:
LD_LIBRARY_PATH=/usr/idris2-0.7.0/lib/ idris2
The idris2 library is in a weird place (directly under /usr
). Maybe that's the issue. I don't actually know a lot about how linking works, and how the linker/loader knows where to find the libraries, so I can't diagnose any further.