fails to load libVAL.so when launched from a different directory --- script for a static build?

[guicho271828]

[karpase]

add_static_option.diff.gz

The attached diff modifies the CMake config to enable a static build. To build statically, use:

mkdir build_static cmake -DCMAKE_STATIC=True .. make

I have only tested this on my Ubuntu 18.04 WSL, where it makes the binary 25MB instead of 3MB, so only use if necessary.

Cheers, Erez.