diff options
| author | Sebastian Kuzminsky <seb@highlab.com> | 2016-02-28 10:36:02 -0700 |
|---|---|---|
| committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-03-03 21:44:52 -0700 |
| commit | 25ea55c8c2ddbf3d788fced5842e4c47d3f4cac2 (patch) | |
| tree | d36799e325157f37ae52d995744049c2808fa4e9 | |
| parent | d280e4850c46ddb55b2b007c5baa846bb7ea49c2 (diff) | |
handle yosys-smtbmc's dependency on python
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/control | 1 | ||||
| -rwxr-xr-x | debian/rules | 2 |
3 files changed, 3 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 570b6f64..72f18060 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@highlab.com> Sun, 28 Feb 2016 10:48:44 -0700 diff --git a/debian/control b/debian/control index 07c3d4cc..56ef30ef 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 10dc50d8..0bcf21a7 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: |