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

[Marko Dimjašević]

Dear KLEE authors and users,

I've been working on creating a Debian package for KLEE and there is one
issue I've been unable to resolve so far. It is related to a shared
library.

In particular, when I build the Debian package for KLEE, I see that
there is only one shared object file:

/usr/lib/libkleeRuntest.so

However, there is also another file, which is, I assume, a static
version of the same library:

/usr/lib/libkleeRuntest.a


Is the shared library version needed, i.e. is it meant to be used by
other programs than KLEE? If I am not mistaken, there are no associated
headers, which suggests it is not meant to be used by other programs.


What led me to believe the shared library version is not needed is a
discussion I started on the debian-devel mailing list:

https://lists.debian.org/debian-devel/2016/02/msg00312.html

If it is not needed, then this Github issue is obsolete:

https://github.com/klee/klee/issues/237


-- 
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/20160222/7ff7408d/attachment.sig>