[gap-guava] 03/04: debianization: debug package 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-guava.

commit 773f6ca9ee484e4e3a50162db653a179af209469
Author: Jerome Benoit <calculus at rezozer.net>
Date:   Mon Dec 28 06:23:03 2015 +0100

    debianization: debug package support
---
 debian/changelog                                     |  7 +++++--
 debian/clean                                         |  1 +
 debian/control                                       | 20 ++++++++++++++++++--
 .../upstream-configure_machinery-refreshment.patch   |  7 ++++---
 debian/rules                                         |  7 +++++++
 5 files changed, 35 insertions(+), 7 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 9d0b47f..d4222b5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,9 +4,12 @@ gap-guava (3.12+ds1-3) unstable; urgency=medium
     - debian/copyright, refresh;
     - debian/control, correct Vcs-Browser field;
     - debian/rules, refresh;
-    - debian/patches/upstream-doc-reproducible.patch, introduce.
+    - debian/clean, harden;
+    - debian/patches/upstream-doc-reproducible.patch, introduce;
+    - debian/patches/upstream-configure_machinery-refreshment.patch, harden;
+    - debug package support, add.
 
- -- Jerome Benoit <calculus at rezozer.net>  Mon, 28 Dec 2015 01:31:50 +0000
+ -- Jerome Benoit <calculus at rezozer.net>  Mon, 28 Dec 2015 05:20:47 +0000
 
 gap-guava (3.12+ds1-2) unstable; urgency=medium
 
diff --git a/debian/clean b/debian/clean
index 264e881..3773dc9 100644
--- a/debian/clean
+++ b/debian/clean
@@ -3,6 +3,7 @@ src/leon/aclocal.m4
 src/leon/configure
 src/leon/install-sh
 src/leon/missing
+src/leon/compile
 src/leon/src/leon_config.h.in
 src/leon/src/leon_config.h
 src/leon/doc/leon_guava_manual.log
diff --git a/debian/control b/debian/control
index a9d1ec2..251b3c9 100644
--- a/debian/control
+++ b/debian/control
@@ -15,7 +15,7 @@ Vcs-Browser: http://anonscm.debian.org/cgit/debian-science/packages/gap-guava.gi
 Package: gap-guava
 Provides: gap-pkg-guava
 Architecture: all
-Depends: ${misc:Depends}, gap-guava-bin, gap (>=4r7p5)
+Depends: gap-guava-bin (>=${source:Version}), gap (>=4r7p5), ${misc:Depends}
 Description: coding theory library for GAP
  GAP is a system for computational discrete algebra with particular
  emphasis on computational group theory, but which has already proved
@@ -26,7 +26,7 @@ Description: coding theory library for GAP
 Package: gap-guava-bin
 Provides: gap-pkg-guava-bin
 Architecture: any
-Depends: ${misc:Depends}, ${shlibs:Depends}, gap (>=4r7p5)
+Depends: ${shlibs:Depends}, gap (>=4r7p5), ${misc:Depends}
 Description: coding theory library for GAP (arch-dep files)
  GAP is a system for computational discrete algebra with particular
  emphasis on computational group theory, but which has already proved
@@ -36,3 +36,19 @@ Description: coding theory library for GAP (arch-dep files)
  .
  This Debian package contains the architecture-dependent files for the
  gap-guava Debian package.
+
+Package: gap-guava-bin-dbg
+Provides: gap-pkg-guava-bin-dbg
+Section: debug
+Priority: extra
+Architecture: any
+Depends: gap-guava-bin (=${binary:Version}), ${misc:Depends}
+Description: coding theory library for GAP (arch-dep debug symbols)
+ GAP is a system for computational discrete algebra with particular
+ emphasis on computational group theory, but which has already proved
+ useful also in other areas.
+ .
+ This GAP package brings to GAP computing with error-correcting codes.
+ .
+ This Debian package contains the architecture-dependent debugging
+ symbols for the gap-guava-bin Debian package.
diff --git a/debian/patches/upstream-configure_machinery-refreshment.patch b/debian/patches/upstream-configure_machinery-refreshment.patch
index 7fe3703..e33cfb1 100644
--- a/debian/patches/upstream-configure_machinery-refreshment.patch
+++ b/debian/patches/upstream-configure_machinery-refreshment.patch
@@ -4,7 +4,7 @@ Description: upstream configure machinery refreshment
  may be implemented from scratch, and even more.
 Origin: debian
 Author: Jerome Benoit <calculus at rezozer.net>
-Last-Update: 2014-09-05
+Last-Update: 2015-12-28
 
 --- a/configure
 +++ b/configure
@@ -162,10 +162,11 @@ Last-Update: 2014-09-05
 +++ b/src/leon/Makefile.in
 @@ -1,9 +1,9 @@
  COMPILE = gcc
- CFLAGS  = -O2
+-CFLAGS  = -O2
++CFLAGS  += -O2
  SRCDIR  = ./src
 -COMPOPT = -c -O2
-+COMPOPT = $(CPPFLAGS) -c -O2
++COMPOPT = $(CPPFLAGS) $(CFLAGS) -c
  INCLUDES =
 -LINKOPT = -v
 +LINKOPT = $(LDFLAGS) -v
diff --git a/debian/rules b/debian/rules
index 7c05eb7..40041bb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -24,8 +24,15 @@ override_dh_link:
 override_dh_installchangelogs:
 	dh_installchangelogs --keep CHANGES.guava
 
+override_dh_installdocs:
+	dh_installdocs -pgap-guava-bin-dbg --link-doc=gap-guava-bin-dbg
+	dh_installdocs --remaining-packages
+
 override_dh_compress:
 	dh_compress -X.pdf
 
+override_dh_strip:
+	dh_strip --dbg-package=gap-guava-bin-dbg
+
 get-orig-source:
 	uscan --no-conf --download-current-version --verbose

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