debdiff attached. --- klee-1.1.0/debian/patches/fix-soname.patch 1970-01-01 00:00:00.000000000 +0000 +++ klee-1.1.0/debian/patches/fix-soname.patch 2016-02-12 11:42:47.000000000 +0000 @@ -0,0 +1,11 @@ +--- klee-1.1.0.orig/Makefile.rules ++++ klee-1.1.0/Makefile.rules +@@ -1094,7 +1094,7 @@ endif + $(LibName.SO): $(ObjectsO) $(ProjLibsPaths) $(LLVMLibsPaths) $(SharedLibDir)/.dir + $(Echo) Linking $(BuildMode) $(SharedLibKindMessage) \ + $(notdir $@) +- $(Verb) $(Link) $(SharedLinkOptions) -o $@ $(ObjectsO) \ ++ $(Verb) $(Link) $(SharedLinkOptions) -Wl,-soname,$@.1 -o $@.1 $(ObjectsO) \ + $(ProjLibsOptions) $(LLVMLibsOptions) $(LIBS) + else + $(LibName.SO): $(ObjectsO) $(SharedLibDir)/.dir diff -Nru klee-1.1.0/debian/patches/series klee-1.1.0/debian/patches/series --- klee-1.1.0/debian/patches/series 2016-02-11 06:35:18.000000000 +0000 +++ klee-1.1.0/debian/patches/series 2016-02-12 11:49:28.000000000 +0000 @@ -2,3 +2,4 @@ remove-rpath.patch remove-failing-tests.patch fix-makefile-llvm-3.4.patch +fix-soname.patch
G.
debdiff
Description: Binary data
