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