Re: Adding SONAME to a shared object in KLEE
Hi, I'm going to answer to the upstream issue.
cheers,
G.
Il Domenica 31 Gennaio 2016 7:50, Marko Dimjašević <marko@dimjasevic.net> ha scritto:
Hi all,
I've been working on creating a Debian package for the KLEE tool per the
following ITP:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576142
I can build a package and when I check it with Lintian, I get the
following error:
E: klee: sharedobject-in-library-directory-missing-soname
usr/lib/libkleeRuntest.so
N:
N: A shared object was identified in a library directory (a directory
in
N: the standard linker path) which doesn't have a SONAME. This is
usually
N: an error.
N:
N: SONAMEs are set with something like gcc -Wl,-soname,libfoo.so.0,
where 0
N: is the major version of the library. If your package uses libtool,
then
N: libtool invoked with the right options should be doing this.
N:
N: To view the SONAME of a shared library, run readelf -d on the
shared
N: library and look for the tag of type SONAME.
N:
N: Severity: important, Certainty: possible
N:
N: Check: shared-libs, Type: binary, udeb
N:
I looked at this and tried learning how to fix it with libtool, but I've
never used libtool before and I am a rookie when it comes to shared
libraries. Note that KLEE doesn't rely on libtool in its build process.
A related upstream issue is available at:
https://github.com/klee/klee/issues/237
Could anyone give pointers on how to go about fixing this issue, i.e.
adding a SONAME to KLEE? Source code for KLEE is available at:
https://github.com/klee/klee
--
Kind regards,
Marko Dimjašević
https://dimjasevic.net/marko
Reply to: