Re: Adding SONAME to a shared object in KLEE
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Hi,
> 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.
easiest fix would be not to use a directory which is in the standard
linker path.
You could use /usr/lib/klee instead....
I did not look into the packaging and build system, but adding
- -Wl,-rpath,/usr/lib/klee and moving the libraries into that directory
might work. There might be better options, though.
Cheers,
Bernd
- --
Bernd Zeimetz Debian GNU/Linux Developer
http://bzed.de http://www.debian.org
GPG Fingerprint: ECA1 E3F2 8E11 2432 D485 DD95 EB36 171A 6FF9 435F
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQIcBAEBCAAGBQJW0YJcAAoJEOs2Fxpv+UNfaaIP/iIrJDou82b/ENENzvAdk5IR
7HipAAFWiCWU91SKwnR8LoMOjmeqOjphl2Kkd+5Sll0vLZvNbFREgyTsJ28CRb9K
FHnG3srpTUv4YRPp2eYQ8niNyuSsptnaBLohpoTZKon13DISZ8XDWsN8yWU2dZNi
HI7KRdtGfsi65p1zIbGvgiISbfB5vIYpi/vKDjI/A4kc6PMIryjfsSUQ8+a2kIcp
G/luNMzkpyTtbju1lWNh6skKgnCcPTG0toMFMzMkFznpUeTG0tMQh4JYwGpVlDdd
hEW2C5aBYWwR8W9AyKdvFqQInRepxIhRddV1Wn2eHg9XEa6usiwZvLthwGdTwh+U
XI13rAbvM4oExwYTSxcQU0alWDZPCBTupqDoOzJsZwaajRQLqGR4KDLP0mLGQq09
Rj7hBlHqshZDAY5yShiNl566GF2m9ANiTf5gbdHZCZXavs+Z009fc8IFe6CORTLx
pZ9TyvfUq2WKzTntKb48mvBbYq9F7i5xNnjz/NlkGpStFwYwR8kBmm7Vm8ZAinmX
9zqM9B/1BXW3Bfa4ibrmWtC5fU4uhblyvZKoYejPxql0f/zwiW95z6ymbh+IyP7A
TlIhvPX6lCnUiIpjJgj2QmJwv3ud9nbYnnPsHEC1L2jwvFKjyXXkagLfpEBVfmL1
2hmKOBfN1nb83CwgYmYG
=+axf
-----END PGP SIGNATURE-----
Reply to: