[flint] 01/01: inject soname

[felix salfelder]

This is an automated email from the git hooks/post-receive script.

felix-guest pushed a commit to branch master-gmp
in repository flint.

commit a6c62c6316ad985d8fbf02fd0472df4fb63bd880
Author: Felix Salfelder <felix at salfelder.org>
Date:   Sat Aug 31 14:31:05 2013 +0200

    inject soname
---
 debian/rules |    1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/rules b/debian/rules
index 0a5f9e0..7127680 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,6 +10,7 @@ override_dh_auto_configure:
 	sed -i Makefile -e "/^FLINT_LIB\>=/s/libflint/libflint-$(VERSION)/"
 	sed -i Makefile -e "/^LIBS\>=/s/-lmpir/-lgmp/"
 	sed -i Makefile -e "/^LIBS2\>=/s/-lmpir/-lgmp/"
+	sed -i Makefile -e 's/-o $$(FLINT_LIB)/-Wl,-soname,$$(FLINT_LIB) -o $$(FLINT_LIB)/'
 
 override_dh_auto_test:
 	:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/flint.git