Hi Daniel, First of all, thank you very much for your prompt and helpful answer.
I initially tried "option 1" but I was still getting an error (*"CMake Error at CMakeLists.txt:307 (message): Python interface requires shared library"*) then I moved to "option 2" and everything is working fine now. Once again, thank you for your support. -- Yours sincerely, Breno Miranda On Wed, Jul 30, 2014 at 10:14 AM, Daniel Liew <[email protected]> wrote: > > > 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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
