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

[Breno Miranda]

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 <daniel.liew at imperial.ac.uk>
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.
>
-------------- next part --------------
HTML attachment scrubbed and removed