* [PR PATCH] yosys: update to 0.17.
@ 2022-05-12 6:20 nonchip
2022-05-12 6:24 ` [PR PATCH] [Updated] " nonchip
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: nonchip @ 2022-05-12 6:20 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 473 bytes --]
There is a new pull request by nonchip against master on the void-packages repository
https://github.com/nonchip/void-packages yosys
https://github.com/void-linux/void-packages/pull/37089
yosys: update to 0.17.
#### Testing the changes
- I tested the changes in this PR: **YES**
#### Local build testing
- I built this PR locally for my native architecture, `x86_64-glibc`
A patch file from https://github.com/void-linux/void-packages/pull/37089.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-yosys-37089.patch --]
[-- Type: text/x-diff, Size: 2831 bytes --]
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,,' \
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [PR PATCH] [Updated] yosys: update to 0.17.
2022-05-12 6:20 [PR PATCH] yosys: update to 0.17 nonchip
@ 2022-05-12 6:24 ` nonchip
2022-05-13 19:18 ` paper42
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: nonchip @ 2022-05-12 6:24 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 478 bytes --]
There is an updated pull request by nonchip against master on the void-packages repository
https://github.com/nonchip/void-packages yosys
https://github.com/void-linux/void-packages/pull/37089
yosys: update to 0.17.
#### Testing the changes
- I tested the changes in this PR: **YES**
#### Local build testing
- I built this PR locally for my native architecture, `x86_64-glibc`
A patch file from https://github.com/void-linux/void-packages/pull/37089.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-yosys-37089.patch --]
[-- Type: text/x-diff, Size: 2866 bytes --]
From c0b96c5dd56a8cbe880ff6eaa7d0b0597cc2fbbb Mon Sep 17 00:00:00 2001
From: Kyra Zimmer <me@nonchip.de>
Date: Thu, 12 May 2022 08:23:19 +0200
Subject: [PATCH] yosys: update to 0.17.
yosys: update to 0.17.
---
...0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch | 8 ++++----
srcpkgs/yosys/template | 12 ++++++------
2 files changed, 10 insertions(+), 10 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..53093507a511 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
-revision=3
+_gitrev=6f9602b
+version=0.17
+revision=1
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,,' \
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: yosys: update to 0.17.
2022-05-12 6:20 [PR PATCH] yosys: update to 0.17 nonchip
2022-05-12 6:24 ` [PR PATCH] [Updated] " nonchip
@ 2022-05-13 19:18 ` paper42
2022-05-15 16:26 ` [PR PATCH] [Updated] " nonchip
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: paper42 @ 2022-05-13 19:18 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 185 bytes --]
New comment by paper42 on void-packages repository
https://github.com/void-linux/void-packages/pull/37089#issuecomment-1126369859
Comment:
please drop the commit body, it's duplicate
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [PR PATCH] [Updated] yosys: update to 0.17.
2022-05-12 6:20 [PR PATCH] yosys: update to 0.17 nonchip
2022-05-12 6:24 ` [PR PATCH] [Updated] " nonchip
2022-05-13 19:18 ` paper42
@ 2022-05-15 16:26 ` nonchip
2022-05-15 16:27 ` nonchip
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: nonchip @ 2022-05-15 16:26 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 478 bytes --]
There is an updated pull request by nonchip against master on the void-packages repository
https://github.com/nonchip/void-packages yosys
https://github.com/void-linux/void-packages/pull/37089
yosys: update to 0.17.
#### Testing the changes
- I tested the changes in this PR: **YES**
#### Local build testing
- I built this PR locally for my native architecture, `x86_64-glibc`
A patch file from https://github.com/void-linux/void-packages/pull/37089.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-yosys-37089.patch --]
[-- Type: text/x-diff, Size: 2843 bytes --]
From 972b1f197b6d4c72e12bf937731d9eb4e8455783 Mon Sep 17 00:00:00 2001
From: Kyra Zimmer <me@nonchip.de>
Date: Thu, 12 May 2022 08:23:19 +0200
Subject: [PATCH] yosys: update to 0.17.
---
...0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch | 8 ++++----
srcpkgs/yosys/template | 12 ++++++------
2 files changed, 10 insertions(+), 10 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..53093507a511 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
-revision=3
+_gitrev=6f9602b
+version=0.17
+revision=1
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,,' \
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: yosys: update to 0.17.
2022-05-12 6:20 [PR PATCH] yosys: update to 0.17 nonchip
` (2 preceding siblings ...)
2022-05-15 16:26 ` [PR PATCH] [Updated] " nonchip
@ 2022-05-15 16:27 ` nonchip
2022-06-30 18:00 ` Duncaen
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: nonchip @ 2022-05-15 16:27 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 232 bytes --]
New comment by nonchip on void-packages repository
https://github.com/void-linux/void-packages/pull/37089#issuecomment-1126974026
Comment:
@paper42 no idea where that came from, i used xbump. and the linter didn't seem to care...
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: yosys: update to 0.17.
2022-05-12 6:20 [PR PATCH] yosys: update to 0.17 nonchip
` (3 preceding siblings ...)
2022-05-15 16:27 ` nonchip
@ 2022-06-30 18:00 ` Duncaen
2022-09-29 2:14 ` github-actions
2022-10-13 2:15 ` [PR PATCH] [Closed]: " github-actions
6 siblings, 0 replies; 8+ messages in thread
From: Duncaen @ 2022-06-30 18:00 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 225 bytes --]
New comment by Duncaen on void-packages repository
https://github.com/void-linux/void-packages/pull/37089#issuecomment-1171518681
Comment:
ping, [0.18](https://github.com/YosysHQ/yosys/releases/tag/yosys-0.18) is released.
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: yosys: update to 0.17.
2022-05-12 6:20 [PR PATCH] yosys: update to 0.17 nonchip
` (4 preceding siblings ...)
2022-06-30 18:00 ` Duncaen
@ 2022-09-29 2:14 ` github-actions
2022-10-13 2:15 ` [PR PATCH] [Closed]: " github-actions
6 siblings, 0 replies; 8+ messages in thread
From: github-actions @ 2022-09-29 2:14 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 305 bytes --]
New comment by github-actions[bot] on void-packages repository
https://github.com/void-linux/void-packages/pull/37089#issuecomment-1261655780
Comment:
Pull Requests become stale 90 days after last activity and are closed 14 days after that. If this pull request is still relevant bump it or assign it.
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [PR PATCH] [Closed]: yosys: update to 0.17.
2022-05-12 6:20 [PR PATCH] yosys: update to 0.17 nonchip
` (5 preceding siblings ...)
2022-09-29 2:14 ` github-actions
@ 2022-10-13 2:15 ` github-actions
6 siblings, 0 replies; 8+ messages in thread
From: github-actions @ 2022-10-13 2:15 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 324 bytes --]
There's a closed pull request on the void-packages repository
yosys: update to 0.17.
https://github.com/void-linux/void-packages/pull/37089
Description:
#### Testing the changes
- I tested the changes in this PR: **YES**
#### Local build testing
- I built this PR locally for my native architecture, `x86_64-glibc`
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2022-10-13 2:15 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-12 6:20 [PR PATCH] yosys: update to 0.17 nonchip
2022-05-12 6:24 ` [PR PATCH] [Updated] " nonchip
2022-05-13 19:18 ` paper42
2022-05-15 16:26 ` [PR PATCH] [Updated] " nonchip
2022-05-15 16:27 ` nonchip
2022-06-30 18:00 ` Duncaen
2022-09-29 2:14 ` github-actions
2022-10-13 2:15 ` [PR PATCH] [Closed]: " github-actions
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).