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ć <[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
