[gap-float] 01/01: Debian-centric fix for fplll support

[Jerome Benoit]

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

calculus-guest pushed a commit to branch master
in repository gap-float.

commit cb28d2ff01b65def321fb75d9007d46961e2ccf0
Author: Jerome Benoit <calculus at rezozer.net>
Date:   Wed Aug 20 11:08:08 2014 +0200

    Debian-centric fix for fplll support
---
 debian/README.Debian | 9 +++------
 debian/changelog     | 2 +-
 debian/control       | 3 +--
 debian/rules         | 4 +---
 4 files changed, 6 insertions(+), 12 deletions(-)

diff --git a/debian/README.Debian b/debian/README.Debian
index d3ac877..c123b72 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -1,10 +1,7 @@
 Float GAP package for Debian GNU/Linux
 ========================================
 
-For now, the Float GAP package for Debian GNU/Linux is limited to MPFR
-and ist friends; namely, it is built only against MPFR, MPC, and MPFI
-but neither FPLLL nor CXCS:
- * linking against FPLLL passes, but dlopen emits an undefined symbol error;
- * CXCS is not (yet) supported by Debian.
+The Float GAP package is built against MPFR, MPC, MPFI, and FPLLL
+but not CXCS because it is not (yet) supported by Debian.
 
- -- Jerome Benoit <calculus at rezozer.net>  Tue, 19 Aug 2014 18:50:20 +0000
+ -- Jerome Benoit <calculus at rezozer.net>  Wed, 20 Aug 2014 09:11:17 +0000
diff --git a/debian/changelog b/debian/changelog
index 5923d6d..7d6e122 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -27,4 +27,4 @@ gap-float (0.6.0+ds-1) unstable; urgency=low
     (more rational, passing the `make distcheck' test) and bug reports has
     been submitted to the upstream maintainer.
 
- -- Jerome Benoit <calculus at rezozer.net>  Tue, 19 Aug 2014 18:54:25 +0000
+ -- Jerome Benoit <calculus at rezozer.net>  Wed, 20 Aug 2014 07:36:13 +0000
diff --git a/debian/control b/debian/control
index 4770146..def30cd 100644
--- a/debian/control
+++ b/debian/control
@@ -6,8 +6,7 @@ Uploaders: Jerome Benoit <calculus at rezozer.net>
 Build-Depends:
  debhelper (>= 9), autotools-dev, libtool, dh-autoreconf, autoconf-archive,
  gap (>=4r7p5), gap-dev (>=4r7p5), gap-gapdoc,
- libgmp-dev, libmpfr-dev, libmpc-dev, libmpfi-dev,
-# libfplll-dev,
+ libgmp-dev, libmpfr-dev, libmpc-dev, libmpfi-dev, libfplll-dev,
 # libcxsc-dev,
  texlive-latex-recommended, texlive-fonts-recommended, texlive-latex-extra
 Standards-Version: 3.9.5
diff --git a/debian/rules b/debian/rules
index 21fd5f3..d8c1f30 100755
--- a/debian/rules
+++ b/debian/rules
@@ -2,8 +2,6 @@
 
 CGAP = /usr/bin/gap
 
-export DEB_BUILD_MAINT_OPTIONS = hardening=+all
-
 DEB_BUILD_GNU_TYPE  ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
 DEB_BUILD_GAP_INFO_ARCH ?= $(shell echo 'Print(GAPInfo.Architecture);' | $(CGAP) -A -q -T)
 
@@ -19,7 +17,7 @@ override_dh_auto_configure:
 		--with-mpfr=yes \
 		--with-mpc=yes \
 		--with-mpfi=yes \
-		--with-fplll=no \
+		--with-fplll=yes \
 		--with-cxsc=no
 
 override_dh_auto_install:

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