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 /debian/rules | |
parent | d280e4850c46ddb55b2b007c5baa846bb7ea49c2 (diff) |
handle yosys-smtbmc's dependency on python
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
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: |