> Klee: error while loading shared libraries: libstp.so: cannot open shared object file: No such file or directory
This is a known issue. It occurs because upstream STP now builds libstp as a shared library by default. You have two options right now. Option 1. Delete 'libstp.so' and rebuild STP by building libstp as a static library. ============================ There are multiple ways of telling CMake to build libstp as a static library * If you have ccmake or originally used cmake-gui you can run 'make edit_cache' and then proceed to change BUILD_SHARED_LIBS to OFF in the interface that appears. * Just run CMake again as you did originally but pass this extra option (before the path to the stp source root) -DBUILD_SHARED_LIBS:BOOL=OFF Then just run make again to rebuild. Check you have 'libstp.a' in the '/path/to/stp/build_directory/lib' and that there is no 'libstp.so' file. Option 2. Apply changes in a pull request to KLEE ================================ - Apply the changes in this [1] pull request to KLEE. [1] https://github.com/klee/klee/pull/136 Hope that helps. Oh and YES you can ask questions here! Thanks Dan.
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
