[flint-arb] 05/07: Enable all hardening options

Julien Puydt julien.puydt at laposte.net
Tue Mar 7 13:31:31 UTC 2017


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

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

commit 6aa483c60ebb94ffa60b56173c811bdc45dd1acd
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Thu Mar 2 10:08:07 2017 +0100

    Enable all hardening options
---
 debian/changelog | 1 +
 debian/rules     | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index a1efaf9..8ebb1af 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,6 +5,7 @@ flint-arb (2.10.0-1) UNRELEASED; urgency=medium
   * Remove the fix flint includes patch (applied upstream).
   * Follow soname bump from 1 to 2.
   * Make the compilation of tests verbose (avoids build logs warnings).
+  * Enable all hardening options.
 
  -- Julien Puydt <julien.puydt at laposte.net>  Wed, 01 Mar 2017 22:13:14 +0100
 
diff --git a/debian/rules b/debian/rules
index 2dd81e4..a1f87ec 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,5 +1,7 @@
 #!/usr/bin/make -f
 
+export DEB_BUILD_MAINT_OPTIONS = hardening=+all
+
 MAKE_OVERRIDE = AT= QUIET_CXX= QUIET_CC= QUIET_AR= ABI_FLAG='$(LDFLAGS) $(CPPFLAGS) $(CFLAGS)'
 
 %:

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



More information about the debian-science-commits mailing list