On Tue, 2016-02-23 at 13:25 -0700, Marko Dimjašević wrote: > I am aware of that. However, that still doesn't answer my question - > is > the shared version of the library needed?
... and let me answer my own question: it is needed. Cristian, as you pointed to the example, there is the following command: $ gcc -L path-to-klee-root/Release+Asserts/lib/ get_sign.c -lkleeRuntest Obviously, the -l option at the end is for linking against a shared library, hence the shared library version is needed. This means there is still the problem of the missing SONAME attribute in the library. -- Regards, Marko Dimjašević <[email protected]> . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
