[yosys] 01/01: add yosys-dbg.deb, with debug symbols

[Sebastian Kuzminsky]

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

seb_kuzminsky-guest pushed a commit to branch doc-dev-debs
in repository yosys.

commit 0bf2ce7efc49910fd2866a75d4fb7093e1fca0d1 (doc-dev-debs)
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Sat Mar 26 14:33:19 2016 -0600

    add yosys-dbg.deb, with debug symbols
---
 debian/changelog |  1 +
 debian/control   | 12 ++++++++++++
 debian/rules     |  3 +++
 3 files changed, 16 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index e406ed7..a629001 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,7 @@ yosys (0.6-2) unstable; urgency=medium
     - yosys is the tool itself
     - yosys-dev is development files for building plugins
     - yosys-doc is the manual (in pdf format)
+  * add yosys-dbg, with debug symbols
   * debian/rules:
     - fail the build if upstream installs files that aren't picked up
       by any of the debs
diff --git a/debian/control b/debian/control
index 6d5216d..63419e4 100644
--- a/debian/control
+++ b/debian/control
@@ -80,3 +80,15 @@ Description: Documentation for Yosys
  needed by extending the yosys C++ code base.
  .
  This package contains the manual.
+
+Package: yosys-dbg
+Architecture: any
+Section: debug
+Priority: extra
+Depends:
+    yosys (= ${binary:Version}),
+    ${misc:Depends}
+Description: Debugging symbols for Yosys
+ Yosys is a framework for Verilog RTL synthesis.
+ .
+ This package contains the debugging symbols for yosys.
diff --git a/debian/rules b/debian/rules
index 5d307da..f5ab644 100755
--- a/debian/rules
+++ b/debian/rules
@@ -28,3 +28,6 @@ override_dh_installman:
 
 override_dh_auto_build:
 	dh_auto_build --parallel -- all manual
+
+override_dh_strip:
+	dh_strip --dbg-package=yosys-dbg

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