g
command:
$ gcc -L path-to-klee-root/Release+Asserts/lib/ get_sign.c -lkleeRuntest
The -l option links against the library in question, hence it is meant
to be used as a shared library.
Which brings us back to the original question - how to add the SONAME
attribute to the library?
--
Regards,
d my mind is to hard-code all the names as in the
package there is only one shared library (one .so file) that gets built.
I still don't know how to fix the issue, i.e. I don't see what needs to
be changed in KLEE's build system. Also, are there debhelper tools that
would
a look and help with
resolving it.
[1] https://lists.debian.org/debian-mentors/2016/01/msg00542.html
--
Kind regards,
Marko Dimjašević . University of Utah
https://dimjasevic.net/marko . PGP key ID: 1503F0AA
Learn email self-defense! https://emailselfdefense.fsf.org
signat
3 matches
Mail list logo