[klee-dev] A need for a shared library in KLEE

[Marko Dimjašević]

Hi Cristian,

On Tue, 2016-02-23 at 16:49 +0000, Cristian Cadar wrote:
> Hi Marko,
> 
> This shared library is useful during replay, e.g., see the last section 
> of Tutorial 1:
> http://klee.github.io/tutorials/testing-function/

I am aware of that. However, that still doesn't answer my question - is
the shared version of the library needed?

I don't know much about build systems, linking, and libraries, so pardon
me if this seems silly. Nevertheless, my hunch is that the static
version would be enough to execute all KLEE tools and that the shared
object file is not really needed. If it is not needed, then that would
save me the trouble of adding a SONAME attribute to the shared library,
which is a must for Debian packages.


-- 
Regards,
Marko Dimjašević <marko at cs.utah.edu> .   University of Utah
https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160223/d3faffcb/attachment.sig>