Re: Adding SONAME to a shared object in KLEE
klee lacks of libncurses5-dev
python-tabulate not available on jessie
anyhow.
Makefile.rules, around line 1116 (patched)
LibName.so target:
- $(Verb) $(Link) $(SharedLinkOptions) -o $@ $(ObjectsO) \
+ $(Verb) $(Link) $(SharedLinkOptions) -Wl,-soname,$@.so.1 -o $@.so.1 $(ObjectsO) \
seems to be working, but it changes soname for all the libraries in the same way AFAICS.
let me know if it works for you too.
cheers,
G.
Il Giovedì 11 Febbraio 2016 8:17, Marko Dimjašević <marko@dimjasevic.net> ha scritto:
Hi again,
On Wed, 2016-02-10 at 11:30 +0000, Gianfranco Costamagna wrote:
> sure, but as said before, I don't have stp, neither metasmt installed
I uploaded both STP and KLEE to mentors.d.n so you should be able to
install both in Jessie:
http://mentors.debian.net/debian/pool/main/s/stp/stp_2.1.1+dfsg-1.dsc
http://mentors.debian.net/debian/pool/main/k/klee/klee_1.1.0-1.dsc
(For KLEE I uploaded a slightly modified version since yesterday.)
> llvm-3.4 should be automatically picked up when installing the -dev
Thank you for this observation.
Once I get the SONAME issue in KLEE fixed, I'll move onto building both
tools for Sid and aim for submitting to the archive.
--
Regards,
Marko
https://dimjasevic.net/marko
Reply to: