[klee-dev] Klee: error while loading shared libraries: libstp.so: cannot open shared object file

Daniel Liew daniel.liew at imperial.ac.uk
Wed Jul 30 09:14:11 BST 2014


> 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.
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list