Re: Adding SONAME to a shared object in KLEE

[Gianfranco Costamagna <costamagnagianfranco@yahoo.it>]

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.

Attachment: debdiff
Description: Binary data