[flint] 01/01: Ship the static version (#879597)

[Julien Puydt]

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

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

commit c03858cabf52e1debbb9839a69badf6a1a7e146d
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Tue Oct 24 18:11:48 2017 +0200

    Ship the static version (#879597)
---
 debian/changelog            | 1 +
 debian/libflint-dev.install | 1 +
 debian/rules                | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 78895ee..6672942 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,7 @@ flint (2.5.2-16) UNRELEASED; urgency=medium
   * Bump d/watch to version 4.
   * Add override for missing autopkgtest.
   * Avoid parsing the changelog for the upstream version.
+  * Ship the static version of the library. (Closes: #879597)
 
  -- Julien Puydt <julien.puydt at laposte.net>  Mon, 07 Aug 2017 10:57:23 +0200
 
diff --git a/debian/libflint-dev.install b/debian/libflint-dev.install
index cb63426..9b45b7c 100644
--- a/debian/libflint-dev.install
+++ b/debian/libflint-dev.install
@@ -1,2 +1,3 @@
 /usr/include/flint
 /usr/lib/libflint.so
+/usr/lib/libflint.a
diff --git a/debian/rules b/debian/rules
index f0a0546..3f4f8db 100755
--- a/debian/rules
+++ b/debian/rules
@@ -29,7 +29,7 @@ endif
 # inject flags using configure. let's hope CFLAGS will always be good enough
 # even for $(CXX)
 override_dh_auto_configure:
-	./configure --prefix="/usr" --with-ntl CFLAGS='$(CPPFLAGS) $(CFLAGS)' --disable-static
+	./configure --prefix="/usr" --with-ntl CFLAGS='$(CPPFLAGS) $(CFLAGS)'
 	sed -i Makefile -e "/^FLINT_LIB\>=/s/libflint/libflint-$(DEB_VERSION_UPSTREAM)/"
 
 override_dh_auto_build:

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