[flint] 01/01: inject soname
felix salfelder
felix-guest at alioth.debian.org
Sat Aug 31 12:32:11 UTC 2013
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
More information about the debian-science-commits
mailing list