[yosys] 08/10: handle yosys-smtbmc's dependency on python

[Sebastian Kuzminsky]

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

seb_kuzminsky-guest pushed a commit to branch master
in repository yosys.

commit 25ea55c8c2ddbf3d788fced5842e4c47d3f4cac2
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Sun Feb 28 10:36:02 2016 -0700

    handle yosys-smtbmc's dependency on python
---
 debian/changelog | 1 +
 debian/control   | 1 +
 debian/rules     | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 570b6f6..72f1806 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,6 +7,7 @@ yosys (0.6-1) UNRELEASED; urgency=medium
     - don't run make as part of dh_auto_configure, it'll get run by
         dh_auto_build later
     - enable parallel build
+    - handle the new python dependencies of yosys-smtbmc
   * add a manpage for the new yosys-smtbmc executable
 
  -- Sebastian Kuzminsky <seb at highlab.com>  Sun, 28 Feb 2016 10:48:44 -0700
diff --git a/debian/control b/debian/control
index 07c3d4c..56ef30e 100644
--- a/debian/control
+++ b/debian/control
@@ -22,6 +22,7 @@ Homepage: http://www.clifford.at/yosys
 Package: yosys
 Architecture: any
 Depends: ${shlibs:Depends},
+         ${python3:Depends},
          ${misc:Depends},
          berkeley-abc (>= 1.01),
          xdot
diff --git a/debian/rules b/debian/rules
index 10dc50d..0bcf21a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,7 +9,7 @@ CHANGELOG_DATE ?= $(shell LC_ALL=C date -u -d "`dpkg-parsechangelog --show-field
 
 
 %:
-	PREFIX=/usr dh $@ --parallel
+	PREFIX=/usr dh $@ --parallel --with=python3
 
 
 override_dh_auto_clean:

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