dylib path issue on macOS

[sdingcn]

Hello,

I used the command source ./build.sh on macOS (version 14.2.1 with Apple M1) to build SVF, but the built tools (e.g. wpa) produce "Library not loaded" errors. I tried both the stable version (SVF-2.9) and the cloned version (6ecf1a4) and both of them have this issue.

By looking into the binaries via otool I found a temporary solution: (for SVF-2.9) copying the files libSvfCore.dylib libSvfLLVM.dylib libz3.dylib into Release-build/lib; (for 6ecf1a4) copying the file libz3.dylib into Release-build/lib.

Is this extra copying step expected, or did I miss something in the build process (like a one-click option to automatically set up / copy all the dynamic libraries)?