Hi Gianfranco, On Fri, 2016-02-12 at 11:51 +0000, 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/install: cannot stat '/home/docker/klee-1.1.0/Release +Asserts/lib/libkleeRuntest.so': No such file or directory /home/docker/klee-1.1.0/Makefile.rules:1128: recipe for target '/home/docker/klee-1.1.0/debian/klee/usr/lib/libkleeRuntest.so' failed make[3]: *** [/home/docker/klee-1.1.0/debian/klee/usr/lib/libkleeRuntest.so] Error 1 make[3]: Leaving directory '/home/docker/klee-1.1.0/runtime/Runtest' /home/docker/klee-1.1.0/Makefile.rules:785: recipe for target 'Runtest/.makeinstall' failed make[2]: *** [Runtest/.makeinstall] Error 2 make[2]: Leaving directory '/home/docker/klee-1.1.0/runtime' /home/docker/klee-1.1.0/Makefile.rules:736: recipe for target 'install' failed make[1]: *** [install] Error 1 make[1]: Leaving directory '/home/docker/klee-1.1.0' dh_auto_install: make -j8 install DESTDIR=/home/docker/klee-1.1.0/debian/klee AM_UPDATE_INFO_DIR=no returned exit code 2 debian/rules:78: recipe for target 'binary' failed make: *** [binary] Error 2 dpkg-buildpackage: error: fakeroot debian/rules binary gave error exit status 2 -- Regards, Marko Dimjašević <ma...@cs.utah.edu> . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
