From e8b17d31ea0a2ff143957e6a1f84bda845be7b7d Mon Sep 17 00:00:00 2001 From: Duncaen Date: Sun, 9 Oct 2022 21:57:21 +0200 Subject: [PATCH] yosys: update to 0.22. --- ...x-adding-of-sys.path-in-yosys-smtbmc.patch | 21 ------------------- srcpkgs/yosys/template | 10 ++++----- 2 files changed, 5 insertions(+), 26 deletions(-) delete mode 100644 srcpkgs/yosys/patches/debian_patches_0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch 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 deleted file mode 100644 index 6c0758083bf..00000000000 --- a/srcpkgs/yosys/patches/debian_patches_0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch +++ /dev/null @@ -1,21 +0,0 @@ -From: Ruben Undheim -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 backends/smt2/Makefile.inc backends/smt2/Makefile.inc -index 92941d4..2c0b7c6 100644 ---- a/backends/smt2/Makefile.inc -+++ b/backends/smt2/Makefile.inc -@@ -22,7 +22,7 @@ else - TARGETS += 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 - $(Q) chmod +x $@.new - $(Q) mv $@.new $@ - endif diff --git a/srcpkgs/yosys/template b/srcpkgs/yosys/template index 72e7da38f40..abc4aab0b1b 100644 --- a/srcpkgs/yosys/template +++ b/srcpkgs/yosys/template @@ -2,20 +2,20 @@ pkgname=yosys # Remember to correct _gitrev on updating _gitrev=1979e0b -version=0.9 -revision=3 -wrksrc=${pkgname}-${pkgname}-${version} +version=0.22 +revision=1 +wrksrc="yosys-yosys-${version}" build_style=gnu-makefile make_use_env=yes hostmakedepends="python3 bison flex pkg-config tcl" -makedepends="tcl-devel readline-devel libffi-devel" +makedepends="tcl-devel readline-devel libffi-devel zlib-devel" depends="graphviz xdot berkeley-abc" short_desc="Verilog RTL Synthesis Suite" maintainer="Jasper Chan " 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=2a0c29b6f66b3ee70316dd734eceb14f452445a83ccac600b97100ffd7c7a7aa post_patch() { vsed -i -e 's,-I[$](PREFIX)/include,,' \