From c1b1fe18bd91de95adfb088f5d7237d98696e65c Mon Sep 17 00:00:00 2001
From: Kyra Zimmer <me@nonchip.de>
Date: Thu, 12 May 2022 08:15:53 +0200
Subject: [PATCH] yosys: update to 0.17.

---
 ...s_0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch |  8 ++++----
 srcpkgs/yosys/template                                 | 10 +++++-----
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/srcpkgs/yosys/patches/debian_patches_0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch b/srcpkgs/yosys/patches/debian_patches_0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
index 6c0758083bfa..5698b0e4555e 100644
--- a/srcpkgs/yosys/patches/debian_patches_0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
+++ b/srcpkgs/yosys/patches/debian_patches_0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
@@ -11,11 +11,11 @@ index 92941d4..2c0b7c6 100644
 --- a/backends/smt2/Makefile.inc
 +++ b/backends/smt2/Makefile.inc
 @@ -22,7 +22,7 @@ else
- TARGETS += yosys-smtbmc
+ TARGETS += $(PROGRAM_PREFIX)yosys-smtbmc
  
- yosys-smtbmc: backends/smt2/smtbmc.py
--	$(P) sed 's|##yosys-sys-path##|sys.path += [os.path.dirname(os.path.realpath(__file__)) + p for p in ["/share/python3", "/../share/yosys/python3"]]|;' < $< > $@.new
-+	$(P) sed 's|##yosys-sys-path##|sys.path += ["/usr/share/yosys"]|;' < $< > $@.new
+ $(PROGRAM_PREFIX)yosys-smtbmc: backends/smt2/smtbmc.py
+-	$(P) sed 's|##yosys-sys-path##|sys.path += [os.path.dirname(os.path.realpath(__file__)) + p for p in ["/share/python3", "/../share/$(PROGRAM_PREFIX)yosys/python3"]]|;' < $< > $@.new
++	$(P) sed 's|##yosys-sys-path##|sys.path += ["/usr/share/$(PROGRAM_PREFIX)yosys"]|;' < $< > $@.new
  	$(Q) chmod +x $@.new
  	$(Q) mv $@.new $@
  endif
diff --git a/srcpkgs/yosys/template b/srcpkgs/yosys/template
index 72e7da38f402..aca043464148 100644
--- a/srcpkgs/yosys/template
+++ b/srcpkgs/yosys/template
@@ -1,21 +1,21 @@
 # Template file for 'yosys'
 pkgname=yosys
 # Remember to correct _gitrev on updating
-_gitrev=1979e0b
-version=0.9
+_gitrev=6f9602b
+version=0.17
 revision=3
 wrksrc=${pkgname}-${pkgname}-${version}
 build_style=gnu-makefile
 make_use_env=yes
 hostmakedepends="python3 bison flex pkg-config tcl"
-makedepends="tcl-devel readline-devel libffi-devel"
-depends="graphviz xdot berkeley-abc"
+makedepends="tcl-devel readline-devel libffi-devel zlib-devel"
+depends="graphviz xdot berkeley-abc zlib"
 short_desc="Verilog RTL Synthesis Suite"
 maintainer="Jasper Chan <jasperchan515@gmail.com>"
 license="ISC, MIT"
 homepage="http://www.clifford.at/yosys/about.html"
 distfiles="https://github.com/cliffordwolf/yosys/archive/yosys-${version}.tar.gz"
-checksum=f2e31371f9cf1b36cb4f57b23fd6eb849adc7d935dcf49f3c905aa5136382c2f
+checksum=37db450d08884a7c411f44ddf639284967ed1a39e11cd6b78d816186113d0173
 
 post_patch() {
 	vsed -i -e 's,-I[$](PREFIX)/include,,' \