Re: Adding SONAME to a shared object in KLEE

2016-02-17 Thread Gianfranco Costamagna
Hi, >llvm[3]: Installing Release+Asserts Shared >Library /home/docker/klee-1.1.0/debian/klee/usr/lib/libkleeRuntest.so >/usr/bin/install: cannot stat '/home/docker/klee-1.1.0/Release >+Asserts/lib/libkleeRuntest.so': No such file or directory it is called libkleeRuntest.so.1 or whatever now,

Re: Adding SONAME to a shared object in KLEE

2016-02-17 Thread Marko Dimjašević
Hi Gianfranco, On Fri, 2016-02-12 at 11:51 +, Gianfranco Costamagna wrote: > debdiff attached. This is the exact error message I get when I apply the debdiff patch: llvm[3]: Installing Release+Asserts Shared Library /home/docker/klee-1.1.0/debian/klee/usr/lib/libkleeRuntest.so /usr/bin/insta

Re: Adding SONAME to a shared object in KLEE

2016-02-12 Thread Gianfranco Costamagna
debdiff attached. --- klee-1.1.0/debian/patches/fix-soname.patch 1970-01-01 00:00:00.0 + +++ klee-1.1.0/debian/patches/fix-soname.patch 2016-02-12 11:42:47.0 + @@ -0,0 +1,11 @@ +--- klee-1.1.0.orig/Makefile.rules klee-1.1.0/Makefile.rules +@@ -1094,7 +1094,7 @@ endi

Re: Adding SONAME to a shared object in KLEE

2016-02-11 Thread Marko Dimjašević
Hi everyone, On Thu, 2016-02-11 at 15:25 +, Gianfranco Costamagna wrote: > klee lacks of libncurses5-dev Thanks for pointing this out! > python-tabulate not available on jessie I am aware of that. It is available in jessie-backports. This will be taken care of automagically once I start bu

Re: Adding SONAME to a shared object in KLEE

2016-02-11 Thread Gianfranco Costamagna
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) \

Re: Adding SONAME to a shared object in KLEE

2016-02-10 Thread Marko Dimjašević
Hi again, On Wed, 2016-02-10 at 11:30 +, 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.

Re: Adding SONAME to a shared object in KLEE

2016-02-10 Thread Gianfranco Costamagna
Hi, Il Mercoledì 10 Febbraio 2016 7:36, Marko Dimjašević ha scritto: >I didn't quite get your reply in the upstream issue at: > >https://github.com/klee/klee/issues/237#issuecomment-177983966 > >My understanding is that your suggestion to change scripts/klee-clang is >not relevant here - the

Re: Adding SONAME to a shared object in KLEE

2016-02-09 Thread Marko Dimjašević
Hi Gianfranco, On Mon, 2016-02-01 at 13:56 +, Gianfranco Costamagna wrote: > Hi, I'm going to answer to the upstream issue. I didn't quite get your reply in the upstream issue at: https://github.com/klee/klee/issues/237#issuecomment-177983966 My understanding is that your suggestion to chan

Re: Adding SONAME to a shared object in KLEE

2016-02-01 Thread Gianfranco Costamagna
Hi, I'm going to answer to the upstream issue. cheers, G. Il Domenica 31 Gennaio 2016 7:50, Marko Dimjašević ha scritto: Hi all, I've been working on creating a Debian package for the KLEE tool per the following ITP: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576142 I can build a

Adding SONAME to a shared object in KLEE

2016-01-30 Thread Marko Dimjašević
Hi all, I've been working on creating a Debian package for the KLEE tool per the following ITP: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576142 I can build a package and when I check it with Lintian, I get the following error: E: klee: sharedobject-in-library-directory-missing-soname u