Re: Adding SONAME to a shared object in KLEE

2016-02-23 Thread Marko Dimjašević
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,

Re: Adding SONAME to a shared object in KLEE

2016-02-18 Thread Marko Dimjašević
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

Adding SONAME to a shared object in KLEE

2016-02-18 Thread Marko Dimjašević
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