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ć <ma...@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
