Your message dated Sat, 16 Feb 2019 11:36:33 +0000 with message-id <1550316993.21192.50.camel@adam-barratt.org.uk> 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 owner@bugs.debian.org immediately.) -- 921911: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=921911 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: stretch-pu: package yosys/0.7-2+deb9u1
- From: Andreas Beckmann <anbe@debian.org>
- Date: Sun, 10 Feb 2019 05:21:08 +0100
- Message-id: <[🔎] 154977246884.12807.16608827935733431637.reportbug@zam581.zam.kfa-juelich.de>
Package: release.debian.org Severity: normal Tags: stretch User: release.debian.org@packages.debian.org Usertags: pu yosys-smtbmc cannot find its private modules. #904752 This is a cherry-pick of the change in sid that updated the searchpath. Andreasdiff -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 <anbe@debian.org> 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 <ruben.undheim@gmail.com> +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"]]|;' < $< > $@.new ++ $(P) sed 's|##yosys-sys-path##|sys.path += ["/usr/share/yosys"]|;' < $< > $@.new + $(Q) chmod +x $@.new + $(Q) mv $@.new $@ + 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 ---
- To: 871937-done@bugs.debian.org, 878816-done@bugs.debian.org, 880622-done@bugs.debian.org, 882824-done@bugs.debian.org, 887157-done@bugs.debian.org, 887399-done@bugs.debian.org, 891569-done@bugs.debian.org, 891649-done@bugs.debian.org, 891660-done@bugs.debian.org, 892845-done@bugs.debian.org, 892853-done@bugs.debian.org, 893541-done@bugs.debian.org, 893543-done@bugs.debian.org, 893550-done@bugs.debian.org, 896811-done@bugs.debian.org, 906142-done@bugs.debian.org, 906239-done@bugs.debian.org, 906813-done@bugs.debian.org, 908957-done@bugs.debian.org, 908960-done@bugs.debian.org, 908965-done@bugs.debian.org, 909127-done@bugs.debian.org, 909131-done@bugs.debian.org, 909213-done@bugs.debian.org, 913085-done@bugs.debian.org, 913525-done@bugs.debian.org, 913529-done@bugs.debian.org, 913801-done@bugs.debian.org, 913881-done@bugs.debian.org, 913885-done@bugs.debian.org, 913942-done@bugs.debian.org, 914032-done@bugs.debian.org, 914081-done@bugs.debian.org, 914184-done@bugs.debian.org, 914265-done@bugs.debian.org, 914475-done@bugs.debian.org, 914594-done@bugs.debian.org, 914841-done@bugs.debian.org, 914961-done@bugs.debian.org, 915715-done@bugs.debian.org, 915875-done@bugs.debian.org, 916435-done@bugs.debian.org, 916627-done@bugs.debian.org, 916632-done@bugs.debian.org, 916882-done@bugs.debian.org, 916912-done@bugs.debian.org, 917560-done@bugs.debian.org, 917620-done@bugs.debian.org, 917820-done@bugs.debian.org, 917900-done@bugs.debian.org, 917911-done@bugs.debian.org, 918337-done@bugs.debian.org, 918601-done@bugs.debian.org, 918762-done@bugs.debian.org, 919106-done@bugs.debian.org, 919712-done@bugs.debian.org, 919990-done@bugs.debian.org, 920372-done@bugs.debian.org, 920379-done@bugs.debian.org, 920381-done@bugs.debian.org, 920382-done@bugs.debian.org, 920632-done@bugs.debian.org, 920804-done@bugs.debian.org, 921107-done@bugs.debian.org, 921117-done@bugs.debian.org, 921281-done@bugs.debian.org, 921475-done@bugs.debian.org, 921620-done@bugs.debian.org, 921642-done@bugs.debian.org, 921643-done@bugs.debian.org, 921743-done@bugs.debian.org, 921811-done@bugs.debian.org, 921825-done@bugs.debian.org, 921844-done@bugs.debian.org, 921857-done@bugs.debian.org, 921864-done@bugs.debian.org, 921876-done@bugs.debian.org, 921885-done@bugs.debian.org, 921893-done@bugs.debian.org, 921907-done@bugs.debian.org, 921908-done@bugs.debian.org, 921910-done@bugs.debian.org, 921911-done@bugs.debian.org, 921997-done@bugs.debian.org, 922221-done@bugs.debian.org
- Subject: Closing bugs for updates included in 9.8
- From: "Adam D. Barratt" <adam@adam-barratt.org.uk>
- Date: Sat, 16 Feb 2019 11:36:33 +0000
- Message-id: <1550316993.21192.50.camel@adam-barratt.org.uk>
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 ---