Installing to non-standard directory gives errors

[gussmith23]

If I install STP to a non-default location (this may even happen with the default location; I'm not sure), I see the following issues:

First, when I try to execute stp, I get:

stp: error while loading shared libraries: libstp.so.2.3: cannot open shared object file: No such file or directory

I can resolve that with setting LD_LIBRARY_PATH, e.g. LD_LIBRARY_PATH=~/.local/lib/ stp, which then gives

stp: error while loading shared libraries: libminisat.so.2: cannot open shared object file: No such file or directory

I can confirm that libminisat is not in my install location (~/.local/lib).

[gussmith23]

I just ran into this again in a different context. It seems like the core of the issue is that the library dependencies (e.g. libminisat) are not actually installed during the install.