Your message dated Sat, 16 Feb 2019 11:36:33 +0000
with message-id <[email protected]>
and subject line Closing bugs for updates included in 9.8
has caused the Debian Bug report #921911,
regarding stretch-pu: package yosys/0.7-2+deb9u1
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
921911: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=921911
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
Tags: stretch
User: [email protected]
Usertags: pu
yosys-smtbmc cannot find its private modules. #904752
This is a cherry-pick of the change in sid that updated the searchpath.
Andreas
diff -Nru yosys-0.7/debian/changelog yosys-0.7/debian/changelog
--- yosys-0.7/debian/changelog 2016-11-06 15:40:47.000000000 +0100
+++ yosys-0.7/debian/changelog 2019-02-10 03:33:31.000000000 +0100
@@ -1,3 +1,18 @@
+yosys (0.7-2+deb9u1) stretch; urgency=medium
+
+ [ Andreas Beckmann ]
+ * Non-maintainer upload.
+ * Backport the patch fixing the search path from 0.7-5.
+
+ [ Ruben Undheim ]
+ * debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
+ - Fix "ModuleNotFoundError: No module named 'smtio'" (Closes: #904752)
+ * debian/tests/smtbc:
+ - Added CI test to check that 'yosys-smtbmc' can be started with no
+ import errors
+
+ -- Andreas Beckmann <[email protected]> Sun, 10 Feb 2019 03:33:31 +0100
+
yosys (0.7-2) unstable; urgency=medium
* debian/control:
diff -Nru
yosys-0.7/debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
yosys-0.7/debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
--- yosys-0.7/debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
1970-01-01 01:00:00.000000000 +0100
+++ yosys-0.7/debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
2019-02-10 03:07:38.000000000 +0100
@@ -0,0 +1,21 @@
+From: Ruben Undheim <[email protected]>
+Date: Fri, 27 Jul 2018 18:46:13 +0000
+Subject: Fix adding of sys.path in yosys-smtbmc
+
+---
+ backends/smt2/Makefile.inc | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/backends/smt2/Makefile.inc b/backends/smt2/Makefile.inc
+index eacda27..f98e610 100644
+--- a/backends/smt2/Makefile.inc
++++ b/backends/smt2/Makefile.inc
+@@ -6,7 +6,7 @@ ifneq ($(CONFIG),emcc)
+ TARGETS += yosys-smtbmc
+
+ yosys-smtbmc: backends/smt2/smtbmc.py
+- $(P) sed 's|##yosys-sys-path##|sys.path += [os.path.dirname(__file__) +
p for p in ["/share/python3", "/../share/yosys/python3"]]|;' < $< > [email protected]
++ $(P) sed 's|##yosys-sys-path##|sys.path += ["/usr/share/yosys"]|;' < $<
> [email protected]
+ $(Q) chmod +x [email protected]
+ $(Q) mv [email protected] $@
+
diff -Nru yosys-0.7/debian/patches/series yosys-0.7/debian/patches/series
--- yosys-0.7/debian/patches/series 2016-11-06 11:19:59.000000000 +0100
+++ yosys-0.7/debian/patches/series 2019-02-10 03:08:33.000000000 +0100
@@ -4,3 +4,4 @@
switch-to-free-font.patch
manual-build.patch
kfreebsd-support.patch
+0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
diff -Nru yosys-0.7/debian/tests/control yosys-0.7/debian/tests/control
--- yosys-0.7/debian/tests/control 2016-11-06 10:12:54.000000000 +0100
+++ yosys-0.7/debian/tests/control 2019-02-10 03:07:38.000000000 +0100
@@ -1,2 +1,2 @@
-Tests: ice
+Tests: ice, smtbc
Depends: @
diff -Nru yosys-0.7/debian/tests/smtbc yosys-0.7/debian/tests/smtbc
--- yosys-0.7/debian/tests/smtbc 1970-01-01 01:00:00.000000000 +0100
+++ yosys-0.7/debian/tests/smtbc 2019-02-10 03:07:38.000000000 +0100
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+# Just verify that there are no Python import errors when starting yosys-smtbmc
+
+yosys-smtbmc 2>&1 | grep --quiet ImportError
+RET=$?
+
+if [ "$RET" = "0" ]; then
+ exit 1
+else
+ exit 0
+fi
--- End Message ---
--- Begin Message ---
Version: 9.8
Hi,
The update referenced by each of these bugs was included in this
morning's stretch point release.
Regards,
Adam
--- End Message ---
