[linbox] 01/01: Disable building with fplll.

[Tobias Hansen]

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

thansen pushed a commit to branch master
in repository linbox.

commit e5de9220309862c4e007dc44f5968ae3c2655ebf
Author: Tobias Hansen <thansen at broeselmaschine.fc.up.pt>
Date:   Sat Nov 5 14:11:38 2016 +0000

    Disable building with fplll.
---
 debian/changelog | 7 +++++++
 debian/rules     | 1 +
 2 files changed, 8 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 9dd68eb..2da7272 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+linbox (1.4.2-2) UNRELEASED; urgency=medium
+
+  * Add versioned Build-Depends and Depends on fflas-ffpack.
+  * Disable building with fplll.
+
+ -- Tobias Hansen <thansen at debian.org>  Sat, 05 Nov 2016 14:10:14 +0000
+
 linbox (1.4.2-1) unstable; urgency=medium
 
   [ Doug Torrance ]
diff --git a/debian/rules b/debian/rules
index ffea15d..6ebaadb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -21,6 +21,7 @@ override_dh_auto_configure:
 		--with-ntl \
 		--with-iml \
 		--with-m4ri \
+                --without-fplll \
 		--enable-optimization \
 		--enable-sage \
 		--enable-shared

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