From 93c250cf6de35efa4b3e50da190768d252aac3a0 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Fri, 5 Sep 2025 07:40:57 -0400 Subject: [PATCH 01/21] update to 0.57 snapshot --- .gitignore | 2 ++ 0001-fedora-yosys-cfginc-patch.patch | 6 +++--- 0002-fedora-yosys-mancfginc-patch.patch | 4 ++-- 0003-fedora-yosys-cxxopts-patch.patch | 4 ++-- sources | 4 ++-- yosys.spec | 18 +++++++++++------- 6 files changed, 22 insertions(+), 16 deletions(-) diff --git a/.gitignore b/.gitignore index 5602b8f..3856866 100644 --- a/.gitignore +++ b/.gitignore @@ -58,3 +58,5 @@ /yosys-e0747b7.tar.gz /yosys-60f126c.tar.gz /yosys-8c71226.tar.gz +/yosys-cec48c6.tar.gz +/yosys_0.52-2.debian.tar.xz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 6c0dd2e..879ff07 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From 63962356e3a81b3025c8dcfee9c99081c27ccbf2 Mon Sep 17 00:00:00 2001 +From ee19550cdcdf80cc59981fa7f15b4eb739a7264f Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,7 +12,7 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 512c1410d..1ad3ca923 100644 +index fb4fb5776..f0efa2141 100644 --- a/Makefile +++ b/Makefile @@ -784,7 +784,7 @@ LIBS_NOVERIFIC = $(LIBS) @@ -37,5 +37,5 @@ index 2880c8c06..a32f11a13 100644 ../../yosys-config --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" -- -2.49.0 +2.51.0 diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index d3f234d..ea3fd04 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From 501b23d68e797f95046b622af390ec063e6992b4 Mon Sep 17 00:00:00 2001 +From c6a1951e444aa99b5590592f19af094a3a2eefad Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch @@ -68,5 +68,5 @@ index 566d24b18..b09bc567c 100644 #include #include -- -2.49.0 +2.51.0 diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 199bcf8..1f9bcb3 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From 1242cee827c22abad65128bfed3d76651e3c7691 Mon Sep 17 00:00:00 2001 +From 0c9608a92b1a063de699553c38ca558bcc9fc065 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch @@ -24,5 +24,5 @@ index 76c11853e..6ec4e2397 100644 #ifdef YOSYS_ENABLE_READLINE -- -2.49.0 +2.51.0 diff --git a/sources b/sources index c484d05..3d31a68 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-8c71226.tar.gz) = f2f5030323f551cf024bbd2091cff4275d3863a0c3273d921b8ff8f0a0c9d6ed78298ea875934f3fa96d5f8f32ea3d2227ddcf69d4bc55a6f2af6d314eedb177 -SHA512 (yosys_0.52-1.debian.tar.xz) = 99b85decec679f16707d76cb5233b081951016a83dd308163f0d88c8d84df32a130313cea2e608162b07846df8b8efbbd05c351c3f5a61cc03c240a0987d6466 +SHA512 (yosys-cec48c6.tar.gz) = 96dec5e7b3578870cd4febed70ef967fcd6ee969ede73c6f0669b56483a0d33b2157ffbb536fe1bafdb47b6652abd6af5a98636919141fdcfe74498f209606c6 +SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 5860e4a..ff8aba4 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,11 +1,11 @@ -%global commit0 8c71226d0050b3ff71e9bc44297480811a21bb56 +%global commit0 cec48c6abdb4493515330e17c97625675fc1583c %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20250810 +%global snapdate 20250904 Name: yosys -Version: 0.56 -Release: 2.%{snapdate}git%{shortcommit0}%{?dist} +Version: 0.57 +Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT URL: http://www.clifford.at/yosys/ @@ -14,7 +14,7 @@ Source0: https://github.com/YosysHQ/%{name}/archive/%{commit0}/%{name}-%{ Source1: https://github.com/mdaines/viz.js/releases/download/0.0.3/viz.js # man pages written for Debian: -Source2: http://http.debian.net/debian/pool/main/y/yosys/yosys_0.52-1.debian.tar.xz +Source2: http://http.debian.net/debian/pool/main/y/yosys/yosys_0.52-2.debian.tar.xz # requested that upstream include those man pages: # https://github.com/YosysHQ/yosys/issues/278 @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.56 +BuildRequires: yosyshq-abc >= 0.57 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -62,7 +62,7 @@ BuildRequires: rsync Requires: %{name}-share = %{version}-%{release} Requires: graphviz python-click python-xdot -Requires: yosyshq-abc >= 0.56 +Requires: yosyshq-abc >= 0.57 # https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval : ExcludeArch: %{ix86} @@ -173,6 +173,10 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Thu Sep 04 2025 Gabriel Somlo - 0.57.1.20250904gitcec48c6 +- update to 0.57 snapshot +- update man pages from Debian + * Fri Aug 15 2025 Python Maint - 0.56-2.20250810git8c71226 - Rebuilt for Python 3.14.0rc2 bytecode From 3e65e8dcef2c1c6ce3b75542d210fcafa514b37b Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Fri, 5 Sep 2025 07:41:06 -0400 Subject: [PATCH 02/21] update to 0.57 snapshot --- .gitignore | 2 ++ 0001-fedora-yosys-cfginc-patch.patch | 6 +++--- 0002-fedora-yosys-mancfginc-patch.patch | 4 ++-- 0003-fedora-yosys-cxxopts-patch.patch | 4 ++-- sources | 4 ++-- yosys.spec | 18 +++++++++++------- 6 files changed, 22 insertions(+), 16 deletions(-) diff --git a/.gitignore b/.gitignore index 5602b8f..3856866 100644 --- a/.gitignore +++ b/.gitignore @@ -58,3 +58,5 @@ /yosys-e0747b7.tar.gz /yosys-60f126c.tar.gz /yosys-8c71226.tar.gz +/yosys-cec48c6.tar.gz +/yosys_0.52-2.debian.tar.xz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 6c0dd2e..879ff07 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From 63962356e3a81b3025c8dcfee9c99081c27ccbf2 Mon Sep 17 00:00:00 2001 +From ee19550cdcdf80cc59981fa7f15b4eb739a7264f Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,7 +12,7 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 512c1410d..1ad3ca923 100644 +index fb4fb5776..f0efa2141 100644 --- a/Makefile +++ b/Makefile @@ -784,7 +784,7 @@ LIBS_NOVERIFIC = $(LIBS) @@ -37,5 +37,5 @@ index 2880c8c06..a32f11a13 100644 ../../yosys-config --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" -- -2.49.0 +2.51.0 diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index d3f234d..ea3fd04 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From 501b23d68e797f95046b622af390ec063e6992b4 Mon Sep 17 00:00:00 2001 +From c6a1951e444aa99b5590592f19af094a3a2eefad Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch @@ -68,5 +68,5 @@ index 566d24b18..b09bc567c 100644 #include #include -- -2.49.0 +2.51.0 diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 199bcf8..1f9bcb3 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From 1242cee827c22abad65128bfed3d76651e3c7691 Mon Sep 17 00:00:00 2001 +From 0c9608a92b1a063de699553c38ca558bcc9fc065 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch @@ -24,5 +24,5 @@ index 76c11853e..6ec4e2397 100644 #ifdef YOSYS_ENABLE_READLINE -- -2.49.0 +2.51.0 diff --git a/sources b/sources index c484d05..3d31a68 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-8c71226.tar.gz) = f2f5030323f551cf024bbd2091cff4275d3863a0c3273d921b8ff8f0a0c9d6ed78298ea875934f3fa96d5f8f32ea3d2227ddcf69d4bc55a6f2af6d314eedb177 -SHA512 (yosys_0.52-1.debian.tar.xz) = 99b85decec679f16707d76cb5233b081951016a83dd308163f0d88c8d84df32a130313cea2e608162b07846df8b8efbbd05c351c3f5a61cc03c240a0987d6466 +SHA512 (yosys-cec48c6.tar.gz) = 96dec5e7b3578870cd4febed70ef967fcd6ee969ede73c6f0669b56483a0d33b2157ffbb536fe1bafdb47b6652abd6af5a98636919141fdcfe74498f209606c6 +SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 5860e4a..ff8aba4 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,11 +1,11 @@ -%global commit0 8c71226d0050b3ff71e9bc44297480811a21bb56 +%global commit0 cec48c6abdb4493515330e17c97625675fc1583c %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20250810 +%global snapdate 20250904 Name: yosys -Version: 0.56 -Release: 2.%{snapdate}git%{shortcommit0}%{?dist} +Version: 0.57 +Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT URL: http://www.clifford.at/yosys/ @@ -14,7 +14,7 @@ Source0: https://github.com/YosysHQ/%{name}/archive/%{commit0}/%{name}-%{ Source1: https://github.com/mdaines/viz.js/releases/download/0.0.3/viz.js # man pages written for Debian: -Source2: http://http.debian.net/debian/pool/main/y/yosys/yosys_0.52-1.debian.tar.xz +Source2: http://http.debian.net/debian/pool/main/y/yosys/yosys_0.52-2.debian.tar.xz # requested that upstream include those man pages: # https://github.com/YosysHQ/yosys/issues/278 @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.56 +BuildRequires: yosyshq-abc >= 0.57 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -62,7 +62,7 @@ BuildRequires: rsync Requires: %{name}-share = %{version}-%{release} Requires: graphviz python-click python-xdot -Requires: yosyshq-abc >= 0.56 +Requires: yosyshq-abc >= 0.57 # https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval : ExcludeArch: %{ix86} @@ -173,6 +173,10 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Thu Sep 04 2025 Gabriel Somlo - 0.57.1.20250904gitcec48c6 +- update to 0.57 snapshot +- update man pages from Debian + * Fri Aug 15 2025 Python Maint - 0.56-2.20250810git8c71226 - Rebuilt for Python 3.14.0rc2 bytecode From 68cba5c4f16795273e49e3a0caf5c264eee6a973 Mon Sep 17 00:00:00 2001 From: Python Maint Date: Fri, 19 Sep 2025 15:04:11 +0200 Subject: [PATCH 03/21] Rebuilt for Python 3.14.0rc3 bytecode --- yosys.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/yosys.spec b/yosys.spec index ff8aba4..5d77ac0 100644 --- a/yosys.spec +++ b/yosys.spec @@ -5,7 +5,7 @@ Name: yosys Version: 0.57 -Release: 1.%{snapdate}git%{shortcommit0}%{?dist} +Release: 2.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT URL: http://www.clifford.at/yosys/ @@ -173,6 +173,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Fri Sep 19 2025 Python Maint - 0.57-2.20250904gitcec48c6 +- Rebuilt for Python 3.14.0rc3 bytecode + * Thu Sep 04 2025 Gabriel Somlo - 0.57.1.20250904gitcec48c6 - update to 0.57 snapshot - update man pages from Debian From 94f6e3eb79d0681906748698eb1d5d61221a3724 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Fri, 19 Sep 2025 15:57:24 -0400 Subject: [PATCH 04/21] Rebuilt for Python 3.14.0rc3 bytecode (BZ 2396894) --- yosys.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/yosys.spec b/yosys.spec index ff8aba4..e24532f 100644 --- a/yosys.spec +++ b/yosys.spec @@ -5,7 +5,7 @@ Name: yosys Version: 0.57 -Release: 1.%{snapdate}git%{shortcommit0}%{?dist} +Release: 2.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT URL: http://www.clifford.at/yosys/ @@ -173,6 +173,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Fri Sep 19 2025 Gabriel Somlo - 0.57-2.20250904gitcec48c6 +- Rebuilt for Python 3.14.0rc3 bytecode (BZ 2396894) + * Thu Sep 04 2025 Gabriel Somlo - 0.57.1.20250904gitcec48c6 - update to 0.57 snapshot - update man pages from Debian From 499a0a2bb9c8df3f601ce6a956d2e343bc0cc82f Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Oct 2025 08:46:11 -0400 Subject: [PATCH 05/21] update to 0.58 snapshot --- .gitignore | 1 + sources | 2 +- yosys.spec | 11 +++++++---- 3 files changed, 9 insertions(+), 5 deletions(-) diff --git a/.gitignore b/.gitignore index 3856866..6a15731 100644 --- a/.gitignore +++ b/.gitignore @@ -60,3 +60,4 @@ /yosys-8c71226.tar.gz /yosys-cec48c6.tar.gz /yosys_0.52-2.debian.tar.xz +/yosys-9a12d92.tar.gz diff --git a/sources b/sources index 3d31a68..7cf8077 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-cec48c6.tar.gz) = 96dec5e7b3578870cd4febed70ef967fcd6ee969ede73c6f0669b56483a0d33b2157ffbb536fe1bafdb47b6652abd6af5a98636919141fdcfe74498f209606c6 +SHA512 (yosys-9a12d92.tar.gz) = 6e0a7e91950d7ef450c04932681e3fb86371d21ff9726875fbf44c7c7fd8e0f92483f89be283d41b4dd53884b9cb0e335183223026fc89c00ddb2d9f20565ae8 SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 5d77ac0..88e3702 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,11 +1,11 @@ -%global commit0 cec48c6abdb4493515330e17c97625675fc1583c +%global commit0 9a12d92551096cd458fd635ed84acf3ba0f2c423 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20250904 +%global snapdate 20251010 Name: yosys -Version: 0.57 -Release: 2.%{snapdate}git%{shortcommit0}%{?dist} +Version: 0.58 +Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT URL: http://www.clifford.at/yosys/ @@ -173,6 +173,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Fri Oct 10 2025 Gabriel Somlo - 0.58.1.20251010git9a12d92 +- update to 0.58 snapshot + * Fri Sep 19 2025 Python Maint - 0.57-2.20250904gitcec48c6 - Rebuilt for Python 3.14.0rc3 bytecode From 48e9bfb6c770b4e2156a4d03f13bfb08c481b2af Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Oct 2025 08:46:20 -0400 Subject: [PATCH 06/21] update to 0.58 snapshot --- .gitignore | 1 + sources | 2 +- yosys.spec | 15 +++++++++------ 3 files changed, 11 insertions(+), 7 deletions(-) diff --git a/.gitignore b/.gitignore index 3856866..6a15731 100644 --- a/.gitignore +++ b/.gitignore @@ -60,3 +60,4 @@ /yosys-8c71226.tar.gz /yosys-cec48c6.tar.gz /yosys_0.52-2.debian.tar.xz +/yosys-9a12d92.tar.gz diff --git a/sources b/sources index 3d31a68..7cf8077 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-cec48c6.tar.gz) = 96dec5e7b3578870cd4febed70ef967fcd6ee969ede73c6f0669b56483a0d33b2157ffbb536fe1bafdb47b6652abd6af5a98636919141fdcfe74498f209606c6 +SHA512 (yosys-9a12d92.tar.gz) = 6e0a7e91950d7ef450c04932681e3fb86371d21ff9726875fbf44c7c7fd8e0f92483f89be283d41b4dd53884b9cb0e335183223026fc89c00ddb2d9f20565ae8 SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index e24532f..88e3702 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,11 +1,11 @@ -%global commit0 cec48c6abdb4493515330e17c97625675fc1583c +%global commit0 9a12d92551096cd458fd635ed84acf3ba0f2c423 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20250904 +%global snapdate 20251010 Name: yosys -Version: 0.57 -Release: 2.%{snapdate}git%{shortcommit0}%{?dist} +Version: 0.58 +Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT URL: http://www.clifford.at/yosys/ @@ -173,8 +173,11 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog -* Fri Sep 19 2025 Gabriel Somlo - 0.57-2.20250904gitcec48c6 -- Rebuilt for Python 3.14.0rc3 bytecode (BZ 2396894) +* Fri Oct 10 2025 Gabriel Somlo - 0.58.1.20251010git9a12d92 +- update to 0.58 snapshot + +* Fri Sep 19 2025 Python Maint - 0.57-2.20250904gitcec48c6 +- Rebuilt for Python 3.14.0rc3 bytecode * Thu Sep 04 2025 Gabriel Somlo - 0.57.1.20250904gitcec48c6 - update to 0.57 snapshot From 1240281adea36561a111ecd8c59e40a00c196729 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Wed, 12 Nov 2025 17:18:42 -0500 Subject: [PATCH 07/21] update to 0.59 snapshot --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 11 ++++++----- 0002-fedora-yosys-mancfginc-patch.patch | 4 ++-- 0003-fedora-yosys-cxxopts-patch.patch | 4 ++-- sources | 2 +- yosys.spec | 12 ++++++++---- 6 files changed, 20 insertions(+), 14 deletions(-) diff --git a/.gitignore b/.gitignore index 6a15731..bfeeaba 100644 --- a/.gitignore +++ b/.gitignore @@ -61,3 +61,4 @@ /yosys-cec48c6.tar.gz /yosys_0.52-2.debian.tar.xz /yosys-9a12d92.tar.gz +/yosys-529886f.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 879ff07..46b34dc 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From ee19550cdcdf80cc59981fa7f15b4eb739a7264f Mon Sep 17 00:00:00 2001 +From 35f4edc3b88a49e311f40991456a46e5ed3c0e4a Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index fb4fb5776..f0efa2141 100644 +index 09dcd0639..661c279cd 100644 --- a/Makefile +++ b/Makefile -@@ -784,7 +784,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -806,7 +806,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile @@ -25,10 +25,10 @@ index fb4fb5776..f0efa2141 100644 -e 's#@BINDIR@#$(strip $(BINDIR))#;' -e 's#@DATDIR@#$(strip $(DATDIR))#;' < $< > $(PROGRAM_PREFIX)yosys-config $(Q) chmod +x $(PROGRAM_PREFIX)yosys-config diff --git a/tests/various/plugin.sh b/tests/various/plugin.sh -index 2880c8c06..a32f11a13 100644 +index 75b4c9e56..ddc8f139f 100644 --- a/tests/various/plugin.sh +++ b/tests/various/plugin.sh -@@ -3,6 +3,6 @@ rm -f plugin.so +@@ -4,7 +4,7 @@ rm -rf plugin_search CXXFLAGS=$(../../yosys-config --cxxflags) DATDIR=$(../../yosys-config --datdir) DATDIR=${DATDIR//\//\\\/} @@ -36,6 +36,7 @@ index 2880c8c06..a32f11a13 100644 +CXXFLAGS=${CXXFLAGS//\/usr\/include\/yosys/..\/..\/share\/include} ../../yosys-config --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" + mkdir -p plugin_search -- 2.51.0 diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index ea3fd04..5f9d6c6 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From c6a1951e444aa99b5590592f19af094a3a2eefad Mon Sep 17 00:00:00 2001 +From 75f62d493199ae25a0914b31863a213582dc11f8 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch @@ -28,7 +28,7 @@ index 74b547a20..91e1e7b28 100644 test0.log: my_cmd.so $(YOSYS) -QTl test0.log_new -m ./my_cmd.so -p 'my_cmd foo bar' -f verilog absval_ref.v diff --git a/docs/source/code_examples/extensions/my_cmd.cc b/docs/source/code_examples/extensions/my_cmd.cc -index e6660469c..92f2679a0 100644 +index d52268b4a..6b67f10f3 100644 --- a/docs/source/code_examples/extensions/my_cmd.cc +++ b/docs/source/code_examples/extensions/my_cmd.cc @@ -1,5 +1,5 @@ diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 1f9bcb3..2894a7e 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From 0c9608a92b1a063de699553c38ca558bcc9fc065 Mon Sep 17 00:00:00 2001 +From 002e08e39b6917c9928a6b720bfed756f304f1f5 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch @@ -11,7 +11,7 @@ referencing the cxxopts.hpp include file. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/driver.cc b/kernel/driver.cc -index 76c11853e..6ec4e2397 100644 +index 795fd9fc5..7bd7d6522 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -21,7 +21,7 @@ diff --git a/sources b/sources index 7cf8077..8b945d3 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-9a12d92.tar.gz) = 6e0a7e91950d7ef450c04932681e3fb86371d21ff9726875fbf44c7c7fd8e0f92483f89be283d41b4dd53884b9cb0e335183223026fc89c00ddb2d9f20565ae8 +SHA512 (yosys-529886f.tar.gz) = bdf65cf9f990ae20c1bae0a3ecb5e80ba8378851f4edefedf56291b7eca5f8ecc45d059f23622f6639fe066fcfdcda2a6ed6c63b7e8a510777bbe54274a50f59 SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 88e3702..554b43c 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 9a12d92551096cd458fd635ed84acf3ba0f2c423 +%global commit0 529886f7fb8f0dd6339bca470a01db5e289755b5 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20251010 +%global snapdate 20251111 Name: yosys -Version: 0.58 +Version: 0.59 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.57 +BuildRequires: yosyshq-abc >= 0.59 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -55,6 +55,7 @@ BuildRequires: python3-click BuildRequires: python3-furo BuildRequires: python3-sphinx-latex BuildRequires: python3-sphinxcontrib-bibtex +BuildRequires: python3-sphinx-inline-tabs BuildRequires: texlive-comment BuildRequires: texlive-pgfplots BuildRequires: texlive-standalone @@ -173,6 +174,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Tue Nov 11 2025 Gabriel Somlo - 0.59.1.20251111git529886f +- update to 0.59 snapshot + * Fri Oct 10 2025 Gabriel Somlo - 0.58.1.20251010git9a12d92 - update to 0.58 snapshot From 6abb5bf26aa0311dbc40407e0de88bd94765c973 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Wed, 12 Nov 2025 17:18:51 -0500 Subject: [PATCH 08/21] update to 0.59 snapshot --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 11 ++++++----- 0002-fedora-yosys-mancfginc-patch.patch | 4 ++-- 0003-fedora-yosys-cxxopts-patch.patch | 4 ++-- sources | 2 +- yosys.spec | 12 ++++++++---- 6 files changed, 20 insertions(+), 14 deletions(-) diff --git a/.gitignore b/.gitignore index 6a15731..bfeeaba 100644 --- a/.gitignore +++ b/.gitignore @@ -61,3 +61,4 @@ /yosys-cec48c6.tar.gz /yosys_0.52-2.debian.tar.xz /yosys-9a12d92.tar.gz +/yosys-529886f.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 879ff07..46b34dc 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From ee19550cdcdf80cc59981fa7f15b4eb739a7264f Mon Sep 17 00:00:00 2001 +From 35f4edc3b88a49e311f40991456a46e5ed3c0e4a Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index fb4fb5776..f0efa2141 100644 +index 09dcd0639..661c279cd 100644 --- a/Makefile +++ b/Makefile -@@ -784,7 +784,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -806,7 +806,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile @@ -25,10 +25,10 @@ index fb4fb5776..f0efa2141 100644 -e 's#@BINDIR@#$(strip $(BINDIR))#;' -e 's#@DATDIR@#$(strip $(DATDIR))#;' < $< > $(PROGRAM_PREFIX)yosys-config $(Q) chmod +x $(PROGRAM_PREFIX)yosys-config diff --git a/tests/various/plugin.sh b/tests/various/plugin.sh -index 2880c8c06..a32f11a13 100644 +index 75b4c9e56..ddc8f139f 100644 --- a/tests/various/plugin.sh +++ b/tests/various/plugin.sh -@@ -3,6 +3,6 @@ rm -f plugin.so +@@ -4,7 +4,7 @@ rm -rf plugin_search CXXFLAGS=$(../../yosys-config --cxxflags) DATDIR=$(../../yosys-config --datdir) DATDIR=${DATDIR//\//\\\/} @@ -36,6 +36,7 @@ index 2880c8c06..a32f11a13 100644 +CXXFLAGS=${CXXFLAGS//\/usr\/include\/yosys/..\/..\/share\/include} ../../yosys-config --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" + mkdir -p plugin_search -- 2.51.0 diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index ea3fd04..5f9d6c6 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From c6a1951e444aa99b5590592f19af094a3a2eefad Mon Sep 17 00:00:00 2001 +From 75f62d493199ae25a0914b31863a213582dc11f8 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch @@ -28,7 +28,7 @@ index 74b547a20..91e1e7b28 100644 test0.log: my_cmd.so $(YOSYS) -QTl test0.log_new -m ./my_cmd.so -p 'my_cmd foo bar' -f verilog absval_ref.v diff --git a/docs/source/code_examples/extensions/my_cmd.cc b/docs/source/code_examples/extensions/my_cmd.cc -index e6660469c..92f2679a0 100644 +index d52268b4a..6b67f10f3 100644 --- a/docs/source/code_examples/extensions/my_cmd.cc +++ b/docs/source/code_examples/extensions/my_cmd.cc @@ -1,5 +1,5 @@ diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 1f9bcb3..2894a7e 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From 0c9608a92b1a063de699553c38ca558bcc9fc065 Mon Sep 17 00:00:00 2001 +From 002e08e39b6917c9928a6b720bfed756f304f1f5 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch @@ -11,7 +11,7 @@ referencing the cxxopts.hpp include file. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/driver.cc b/kernel/driver.cc -index 76c11853e..6ec4e2397 100644 +index 795fd9fc5..7bd7d6522 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -21,7 +21,7 @@ diff --git a/sources b/sources index 7cf8077..8b945d3 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-9a12d92.tar.gz) = 6e0a7e91950d7ef450c04932681e3fb86371d21ff9726875fbf44c7c7fd8e0f92483f89be283d41b4dd53884b9cb0e335183223026fc89c00ddb2d9f20565ae8 +SHA512 (yosys-529886f.tar.gz) = bdf65cf9f990ae20c1bae0a3ecb5e80ba8378851f4edefedf56291b7eca5f8ecc45d059f23622f6639fe066fcfdcda2a6ed6c63b7e8a510777bbe54274a50f59 SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 88e3702..554b43c 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 9a12d92551096cd458fd635ed84acf3ba0f2c423 +%global commit0 529886f7fb8f0dd6339bca470a01db5e289755b5 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20251010 +%global snapdate 20251111 Name: yosys -Version: 0.58 +Version: 0.59 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.57 +BuildRequires: yosyshq-abc >= 0.59 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -55,6 +55,7 @@ BuildRequires: python3-click BuildRequires: python3-furo BuildRequires: python3-sphinx-latex BuildRequires: python3-sphinxcontrib-bibtex +BuildRequires: python3-sphinx-inline-tabs BuildRequires: texlive-comment BuildRequires: texlive-pgfplots BuildRequires: texlive-standalone @@ -173,6 +174,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Tue Nov 11 2025 Gabriel Somlo - 0.59.1.20251111git529886f +- update to 0.59 snapshot + * Fri Oct 10 2025 Gabriel Somlo - 0.58.1.20251010git9a12d92 - update to 0.58 snapshot From c3e7d7f33e200073243756b4c4d20e2efaa7640e Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Mon, 8 Dec 2025 21:08:20 -0500 Subject: [PATCH 09/21] update to 0.60 snapshot --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 6 +++--- 0002-fedora-yosys-mancfginc-patch.patch | 2 +- 0003-fedora-yosys-cxxopts-patch.patch | 4 ++-- sources | 2 +- yosys.spec | 11 +++++++---- 6 files changed, 15 insertions(+), 11 deletions(-) diff --git a/.gitignore b/.gitignore index bfeeaba..8fca0f7 100644 --- a/.gitignore +++ b/.gitignore @@ -62,3 +62,4 @@ /yosys_0.52-2.debian.tar.xz /yosys-9a12d92.tar.gz /yosys-529886f.tar.gz +/yosys-0e31e38.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 46b34dc..8854752 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From 35f4edc3b88a49e311f40991456a46e5ed3c0e4a Mon Sep 17 00:00:00 2001 +From e836980c33af240f6e9d3c98c4ad728c3562ac43 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 09dcd0639..661c279cd 100644 +index bbae8bdc7..f464bb017 100644 --- a/Makefile +++ b/Makefile -@@ -806,7 +806,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -807,7 +807,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index 5f9d6c6..7b69228 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From 75f62d493199ae25a0914b31863a213582dc11f8 Mon Sep 17 00:00:00 2001 +From 1200ffd44a9e22488e0cb2167f9905874c8711ce Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 2894a7e..eea5509 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From 002e08e39b6917c9928a6b720bfed756f304f1f5 Mon Sep 17 00:00:00 2001 +From e4bb765d21a0f84426a32eb982902d40a024586f Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch @@ -11,7 +11,7 @@ referencing the cxxopts.hpp include file. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/driver.cc b/kernel/driver.cc -index 795fd9fc5..7bd7d6522 100644 +index 06fa6b11b..d436d2a46 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -21,7 +21,7 @@ diff --git a/sources b/sources index 8b945d3..e422fdc 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-529886f.tar.gz) = bdf65cf9f990ae20c1bae0a3ecb5e80ba8378851f4edefedf56291b7eca5f8ecc45d059f23622f6639fe066fcfdcda2a6ed6c63b7e8a510777bbe54274a50f59 +SHA512 (yosys-0e31e38.tar.gz) = ef862eab5c642f36a83458dd00d96fb1484426df666681b873e3832db126f8828a18822741907f0a6f9717d68be671d3fffddd3bd6c28cf81ca468d06b2432bb SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 554b43c..bfdfd23 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 529886f7fb8f0dd6339bca470a01db5e289755b5 +%global commit0 0e31e389f2cf5b29e900e56285b3d1f058f38c29 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20251111 +%global snapdate 20251205 Name: yosys -Version: 0.59 +Version: 0.60 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.59 +BuildRequires: yosyshq-abc >= 0.60 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -174,6 +174,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Fri Dec 05 2025 Gabriel Somlo - 0.59.1.20251205git0e31e38 +- update to 0.60 snapshot + * Tue Nov 11 2025 Gabriel Somlo - 0.59.1.20251111git529886f - update to 0.59 snapshot From c09195e9b364d9a30af55a6c09da99c8b12c304f Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Mon, 8 Dec 2025 21:08:30 -0500 Subject: [PATCH 10/21] update to 0.60 snapshot --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 6 +++--- 0002-fedora-yosys-mancfginc-patch.patch | 2 +- 0003-fedora-yosys-cxxopts-patch.patch | 4 ++-- sources | 2 +- yosys.spec | 11 +++++++---- 6 files changed, 15 insertions(+), 11 deletions(-) diff --git a/.gitignore b/.gitignore index bfeeaba..8fca0f7 100644 --- a/.gitignore +++ b/.gitignore @@ -62,3 +62,4 @@ /yosys_0.52-2.debian.tar.xz /yosys-9a12d92.tar.gz /yosys-529886f.tar.gz +/yosys-0e31e38.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 46b34dc..8854752 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From 35f4edc3b88a49e311f40991456a46e5ed3c0e4a Mon Sep 17 00:00:00 2001 +From e836980c33af240f6e9d3c98c4ad728c3562ac43 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 09dcd0639..661c279cd 100644 +index bbae8bdc7..f464bb017 100644 --- a/Makefile +++ b/Makefile -@@ -806,7 +806,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -807,7 +807,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index 5f9d6c6..7b69228 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From 75f62d493199ae25a0914b31863a213582dc11f8 Mon Sep 17 00:00:00 2001 +From 1200ffd44a9e22488e0cb2167f9905874c8711ce Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 2894a7e..eea5509 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From 002e08e39b6917c9928a6b720bfed756f304f1f5 Mon Sep 17 00:00:00 2001 +From e4bb765d21a0f84426a32eb982902d40a024586f Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch @@ -11,7 +11,7 @@ referencing the cxxopts.hpp include file. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/driver.cc b/kernel/driver.cc -index 795fd9fc5..7bd7d6522 100644 +index 06fa6b11b..d436d2a46 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -21,7 +21,7 @@ diff --git a/sources b/sources index 8b945d3..e422fdc 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-529886f.tar.gz) = bdf65cf9f990ae20c1bae0a3ecb5e80ba8378851f4edefedf56291b7eca5f8ecc45d059f23622f6639fe066fcfdcda2a6ed6c63b7e8a510777bbe54274a50f59 +SHA512 (yosys-0e31e38.tar.gz) = ef862eab5c642f36a83458dd00d96fb1484426df666681b873e3832db126f8828a18822741907f0a6f9717d68be671d3fffddd3bd6c28cf81ca468d06b2432bb SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 554b43c..bfdfd23 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 529886f7fb8f0dd6339bca470a01db5e289755b5 +%global commit0 0e31e389f2cf5b29e900e56285b3d1f058f38c29 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20251111 +%global snapdate 20251205 Name: yosys -Version: 0.59 +Version: 0.60 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.59 +BuildRequires: yosyshq-abc >= 0.60 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -174,6 +174,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Fri Dec 05 2025 Gabriel Somlo - 0.59.1.20251205git0e31e38 +- update to 0.60 snapshot + * Tue Nov 11 2025 Gabriel Somlo - 0.59.1.20251111git529886f - update to 0.59 snapshot From b0c02327324c921ecf7e82e4e241d7ccc33bca6c Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Fri, 16 Jan 2026 11:48:14 -0500 Subject: [PATCH 11/21] update to 0.61 --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 8 ++++---- 0002-fedora-yosys-mancfginc-patch.patch | 4 ++-- 0003-fedora-yosys-cxxopts-patch.patch | 6 +++--- sources | 2 +- yosys.spec | 13 ++++++++----- 6 files changed, 19 insertions(+), 15 deletions(-) diff --git a/.gitignore b/.gitignore index 8fca0f7..f91cbfc 100644 --- a/.gitignore +++ b/.gitignore @@ -63,3 +63,4 @@ /yosys-9a12d92.tar.gz /yosys-529886f.tar.gz /yosys-0e31e38.tar.gz +/yosys-967b47d.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 8854752..85f7b81 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From e836980c33af240f6e9d3c98c4ad728c3562ac43 Mon Sep 17 00:00:00 2001 +From a4c9a540f45e066d2ea3d37c94148d7d381da6da Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index bbae8bdc7..f464bb017 100644 +index 775cf8828..e2b8ed888 100644 --- a/Makefile +++ b/Makefile -@@ -807,7 +807,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -808,7 +808,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile @@ -38,5 +38,5 @@ index 75b4c9e56..ddc8f139f 100644 ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" mkdir -p plugin_search -- -2.51.0 +2.52.0 diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index 7b69228..ad45d73 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From 1200ffd44a9e22488e0cb2167f9905874c8711ce Mon Sep 17 00:00:00 2001 +From 5bb7625fe0f90ec3a35ac2d3992383a91a301497 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch @@ -68,5 +68,5 @@ index 566d24b18..b09bc567c 100644 #include #include -- -2.51.0 +2.52.0 diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index eea5509..e0c683b 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From e4bb765d21a0f84426a32eb982902d40a024586f Mon Sep 17 00:00:00 2001 +From 87cff998a8f1a3fe28c447903f6b30c26b35b0fe Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch @@ -11,7 +11,7 @@ referencing the cxxopts.hpp include file. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/driver.cc b/kernel/driver.cc -index 06fa6b11b..d436d2a46 100644 +index fa78bad59..ea1c01f87 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -21,7 +21,7 @@ @@ -24,5 +24,5 @@ index 06fa6b11b..d436d2a46 100644 #ifdef YOSYS_ENABLE_READLINE -- -2.51.0 +2.52.0 diff --git a/sources b/sources index e422fdc..6414d31 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-0e31e38.tar.gz) = ef862eab5c642f36a83458dd00d96fb1484426df666681b873e3832db126f8828a18822741907f0a6f9717d68be671d3fffddd3bd6c28cf81ca468d06b2432bb +SHA512 (yosys-967b47d.tar.gz) = 418dbfaf3bd5fb38284b284f2e48aa1d5cee94a677a5534510d0d8a5c35128ac228e5164a342b4c825b9c86cc7ae6a9904d4ce62173da4cc08a791bde402684e SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index bfdfd23..a956276 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 0e31e389f2cf5b29e900e56285b3d1f058f38c29 +%global commit0 967b47d98412bb34b1e32fb9b31ba91792db1d3e %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20251205 +%global snapdate 20260115 Name: yosys -Version: 0.60 +Version: 0.61 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.60 +BuildRequires: yosyshq-abc >= 0.61 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -174,7 +174,10 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog -* Fri Dec 05 2025 Gabriel Somlo - 0.59.1.20251205git0e31e38 +* Thu Jan 15 2026 Gabriel Somlo - 0.61.1.20260115git967b47d +- update to 0.61 snapshot + +* Fri Dec 05 2025 Gabriel Somlo - 0.60.1.20251205git0e31e38 - update to 0.60 snapshot * Tue Nov 11 2025 Gabriel Somlo - 0.59.1.20251111git529886f From 3dece9b1d1198baf59b6d129de4e1f8666dd0973 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Fri, 16 Jan 2026 11:48:27 -0500 Subject: [PATCH 12/21] update to 0.61 --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 8 ++++---- 0002-fedora-yosys-mancfginc-patch.patch | 4 ++-- 0003-fedora-yosys-cxxopts-patch.patch | 6 +++--- sources | 2 +- yosys.spec | 13 ++++++++----- 6 files changed, 19 insertions(+), 15 deletions(-) diff --git a/.gitignore b/.gitignore index 8fca0f7..f91cbfc 100644 --- a/.gitignore +++ b/.gitignore @@ -63,3 +63,4 @@ /yosys-9a12d92.tar.gz /yosys-529886f.tar.gz /yosys-0e31e38.tar.gz +/yosys-967b47d.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 8854752..85f7b81 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From e836980c33af240f6e9d3c98c4ad728c3562ac43 Mon Sep 17 00:00:00 2001 +From a4c9a540f45e066d2ea3d37c94148d7d381da6da Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index bbae8bdc7..f464bb017 100644 +index 775cf8828..e2b8ed888 100644 --- a/Makefile +++ b/Makefile -@@ -807,7 +807,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -808,7 +808,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile @@ -38,5 +38,5 @@ index 75b4c9e56..ddc8f139f 100644 ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" mkdir -p plugin_search -- -2.51.0 +2.52.0 diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index 7b69228..ad45d73 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From 1200ffd44a9e22488e0cb2167f9905874c8711ce Mon Sep 17 00:00:00 2001 +From 5bb7625fe0f90ec3a35ac2d3992383a91a301497 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch @@ -68,5 +68,5 @@ index 566d24b18..b09bc567c 100644 #include #include -- -2.51.0 +2.52.0 diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index eea5509..e0c683b 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From e4bb765d21a0f84426a32eb982902d40a024586f Mon Sep 17 00:00:00 2001 +From 87cff998a8f1a3fe28c447903f6b30c26b35b0fe Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch @@ -11,7 +11,7 @@ referencing the cxxopts.hpp include file. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/driver.cc b/kernel/driver.cc -index 06fa6b11b..d436d2a46 100644 +index fa78bad59..ea1c01f87 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -21,7 +21,7 @@ @@ -24,5 +24,5 @@ index 06fa6b11b..d436d2a46 100644 #ifdef YOSYS_ENABLE_READLINE -- -2.51.0 +2.52.0 diff --git a/sources b/sources index e422fdc..6414d31 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-0e31e38.tar.gz) = ef862eab5c642f36a83458dd00d96fb1484426df666681b873e3832db126f8828a18822741907f0a6f9717d68be671d3fffddd3bd6c28cf81ca468d06b2432bb +SHA512 (yosys-967b47d.tar.gz) = 418dbfaf3bd5fb38284b284f2e48aa1d5cee94a677a5534510d0d8a5c35128ac228e5164a342b4c825b9c86cc7ae6a9904d4ce62173da4cc08a791bde402684e SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index bfdfd23..a956276 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 0e31e389f2cf5b29e900e56285b3d1f058f38c29 +%global commit0 967b47d98412bb34b1e32fb9b31ba91792db1d3e %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20251205 +%global snapdate 20260115 Name: yosys -Version: 0.60 +Version: 0.61 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.60 +BuildRequires: yosyshq-abc >= 0.61 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -174,7 +174,10 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog -* Fri Dec 05 2025 Gabriel Somlo - 0.59.1.20251205git0e31e38 +* Thu Jan 15 2026 Gabriel Somlo - 0.61.1.20260115git967b47d +- update to 0.61 snapshot + +* Fri Dec 05 2025 Gabriel Somlo - 0.60.1.20251205git0e31e38 - update to 0.60 snapshot * Tue Nov 11 2025 Gabriel Somlo - 0.59.1.20251111git529886f From 576d18b55deb4cde18022c734af0a5095c05cb05 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Wed, 11 Feb 2026 09:18:21 -0500 Subject: [PATCH 13/21] update to 0.62 --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 4 ++-- 0002-fedora-yosys-mancfginc-patch.patch | 2 +- 0003-fedora-yosys-cxxopts-patch.patch | 2 +- sources | 2 +- yosys.spec | 11 +++++++---- 6 files changed, 13 insertions(+), 9 deletions(-) diff --git a/.gitignore b/.gitignore index f91cbfc..a8356d7 100644 --- a/.gitignore +++ b/.gitignore @@ -64,3 +64,4 @@ /yosys-529886f.tar.gz /yosys-0e31e38.tar.gz /yosys-967b47d.tar.gz +/yosys-1717fa0.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 85f7b81..3e38970 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From a4c9a540f45e066d2ea3d37c94148d7d381da6da Mon Sep 17 00:00:00 2001 +From 79414293f2db59d77147a7d2e02be2708810f1ce Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,7 +12,7 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 775cf8828..e2b8ed888 100644 +index 81f9e0652..48825ddd1 100644 --- a/Makefile +++ b/Makefile @@ -808,7 +808,7 @@ LIBS_NOVERIFIC = $(LIBS) diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index ad45d73..8f267f9 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From 5bb7625fe0f90ec3a35ac2d3992383a91a301497 Mon Sep 17 00:00:00 2001 +From d27babe93629cf6a437cfe2908d596e8a94b5b27 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index e0c683b..6e9462c 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From 87cff998a8f1a3fe28c447903f6b30c26b35b0fe Mon Sep 17 00:00:00 2001 +From c4a1200deb06f13333f2c0ec138b2e879173eb20 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch diff --git a/sources b/sources index 6414d31..75b31b7 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-967b47d.tar.gz) = 418dbfaf3bd5fb38284b284f2e48aa1d5cee94a677a5534510d0d8a5c35128ac228e5164a342b4c825b9c86cc7ae6a9904d4ce62173da4cc08a791bde402684e +SHA512 (yosys-1717fa0.tar.gz) = 95a27f3ac9f64564262b78551eaef031e634a627e3f1ea8b4291a227692224753225b29623bff39c37a6fce6339129983b4688b25f291503c663aaacad2c50dd SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index a956276..10b727e 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 967b47d98412bb34b1e32fb9b31ba91792db1d3e +%global commit0 1717fa01800a0893983c9aa3aa04f12d728cf540 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20260115 +%global snapdate 20260205 Name: yosys -Version: 0.61 +Version: 0.62 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.61 +BuildRequires: yosyshq-abc >= 0.62 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -174,6 +174,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Thu Feb 05 2026 Gabriel Somlo - 0.62.1.20260205git1717fa0 +- update to 0.62 snapshot + * Thu Jan 15 2026 Gabriel Somlo - 0.61.1.20260115git967b47d - update to 0.61 snapshot From 4010232f186cdf49187e41f3c997000ae410339c Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Wed, 11 Feb 2026 09:18:40 -0500 Subject: [PATCH 14/21] update to 0.62 --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 4 ++-- 0002-fedora-yosys-mancfginc-patch.patch | 2 +- 0003-fedora-yosys-cxxopts-patch.patch | 2 +- sources | 2 +- yosys.spec | 11 +++++++---- 6 files changed, 13 insertions(+), 9 deletions(-) diff --git a/.gitignore b/.gitignore index f91cbfc..a8356d7 100644 --- a/.gitignore +++ b/.gitignore @@ -64,3 +64,4 @@ /yosys-529886f.tar.gz /yosys-0e31e38.tar.gz /yosys-967b47d.tar.gz +/yosys-1717fa0.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 85f7b81..3e38970 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From a4c9a540f45e066d2ea3d37c94148d7d381da6da Mon Sep 17 00:00:00 2001 +From 79414293f2db59d77147a7d2e02be2708810f1ce Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,7 +12,7 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 775cf8828..e2b8ed888 100644 +index 81f9e0652..48825ddd1 100644 --- a/Makefile +++ b/Makefile @@ -808,7 +808,7 @@ LIBS_NOVERIFIC = $(LIBS) diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index ad45d73..8f267f9 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From 5bb7625fe0f90ec3a35ac2d3992383a91a301497 Mon Sep 17 00:00:00 2001 +From d27babe93629cf6a437cfe2908d596e8a94b5b27 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index e0c683b..6e9462c 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From 87cff998a8f1a3fe28c447903f6b30c26b35b0fe Mon Sep 17 00:00:00 2001 +From c4a1200deb06f13333f2c0ec138b2e879173eb20 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch diff --git a/sources b/sources index 6414d31..75b31b7 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-967b47d.tar.gz) = 418dbfaf3bd5fb38284b284f2e48aa1d5cee94a677a5534510d0d8a5c35128ac228e5164a342b4c825b9c86cc7ae6a9904d4ce62173da4cc08a791bde402684e +SHA512 (yosys-1717fa0.tar.gz) = 95a27f3ac9f64564262b78551eaef031e634a627e3f1ea8b4291a227692224753225b29623bff39c37a6fce6339129983b4688b25f291503c663aaacad2c50dd SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index a956276..10b727e 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 967b47d98412bb34b1e32fb9b31ba91792db1d3e +%global commit0 1717fa01800a0893983c9aa3aa04f12d728cf540 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20260115 +%global snapdate 20260205 Name: yosys -Version: 0.61 +Version: 0.62 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,7 +39,7 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.61 +BuildRequires: yosyshq-abc >= 0.62 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel @@ -174,6 +174,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Thu Feb 05 2026 Gabriel Somlo - 0.62.1.20260205git1717fa0 +- update to 0.62 snapshot + * Thu Jan 15 2026 Gabriel Somlo - 0.61.1.20260115git967b47d - update to 0.61 snapshot From 3fa5e02ca27b619fefb32079845aa0c731b21c9f Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 7 Mar 2026 18:25:50 -0500 Subject: [PATCH 15/21] update to 0.63 snapshot --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 6 +++--- 0002-fedora-yosys-mancfginc-patch.patch | 2 +- 0003-fedora-yosys-cxxopts-patch.patch | 2 +- sources | 2 +- yosys.spec | 14 +++++++++----- 6 files changed, 16 insertions(+), 11 deletions(-) diff --git a/.gitignore b/.gitignore index a8356d7..fcbfa62 100644 --- a/.gitignore +++ b/.gitignore @@ -65,3 +65,4 @@ /yosys-0e31e38.tar.gz /yosys-967b47d.tar.gz /yosys-1717fa0.tar.gz +/yosys-3bc26ff.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 3e38970..1dd68fe 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From 79414293f2db59d77147a7d2e02be2708810f1ce Mon Sep 17 00:00:00 2001 +From 6407842130dd6430c9e754e6551d6c41ba7c495c Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 81f9e0652..48825ddd1 100644 +index 507c74a63..1ec01d2e8 100644 --- a/Makefile +++ b/Makefile -@@ -808,7 +808,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -840,7 +840,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index 8f267f9..90f522c 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From d27babe93629cf6a437cfe2908d596e8a94b5b27 Mon Sep 17 00:00:00 2001 +From ee84a2a0ed040405b85913018f5be232a3744a21 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 6e9462c..857b34d 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From c4a1200deb06f13333f2c0ec138b2e879173eb20 Mon Sep 17 00:00:00 2001 +From 793a337eacce0f5d51d470f0dcd196808541c9d6 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch diff --git a/sources b/sources index 75b31b7..80be969 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-1717fa0.tar.gz) = 95a27f3ac9f64564262b78551eaef031e634a627e3f1ea8b4291a227692224753225b29623bff39c37a6fce6339129983b4688b25f291503c663aaacad2c50dd +SHA512 (yosys-3bc26ff.tar.gz) = 45bd87d1789d9f0efedc43f480aef6c672a39dd43c3edfdce3f2f2f8191eb6c8f8210208b3853c3df4b15bc8627509f5c827bc6974dd1378c5b5d1b23101e935 SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 10b727e..3ae2913 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 1717fa01800a0893983c9aa3aa04f12d728cf540 +%global commit0 3bc26ff4d055adfbba8b424508ab4a36405ffc0b %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20260205 +%global snapdate 20260304 Name: yosys -Version: 0.62 +Version: 0.63 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,12 +39,13 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.62 +BuildRequires: yosyshq-abc >= 0.63 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel BuildRequires: txt2man BuildRequires: gtkwave +BuildRequires: gtest-devel # required for documentation: BuildRequires: graphviz @@ -63,7 +64,7 @@ BuildRequires: rsync Requires: %{name}-share = %{version}-%{release} Requires: graphviz python-click python-xdot -Requires: yosyshq-abc >= 0.57 +Requires: yosyshq-abc >= 0.63 # https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval : ExcludeArch: %{ix86} @@ -174,6 +175,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Wed Mar 04 2026 Gabriel Somlo - 0.63.1.20260304git3bc26ff +- update to 0.63 snapshot + * Thu Feb 05 2026 Gabriel Somlo - 0.62.1.20260205git1717fa0 - update to 0.62 snapshot From 3bf0e4e66aa09e2d12110b342913630675cbb8cd Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 7 Mar 2026 18:26:08 -0500 Subject: [PATCH 16/21] update to 0.63 snapshot --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 6 +++--- 0002-fedora-yosys-mancfginc-patch.patch | 2 +- 0003-fedora-yosys-cxxopts-patch.patch | 2 +- sources | 2 +- yosys.spec | 14 +++++++++----- 6 files changed, 16 insertions(+), 11 deletions(-) diff --git a/.gitignore b/.gitignore index a8356d7..fcbfa62 100644 --- a/.gitignore +++ b/.gitignore @@ -65,3 +65,4 @@ /yosys-0e31e38.tar.gz /yosys-967b47d.tar.gz /yosys-1717fa0.tar.gz +/yosys-3bc26ff.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 3e38970..1dd68fe 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,4 +1,4 @@ -From 79414293f2db59d77147a7d2e02be2708810f1ce Mon Sep 17 00:00:00 2001 +From 6407842130dd6430c9e754e6551d6c41ba7c495c Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 Subject: [PATCH 1/3] fedora yosys-cfginc patch @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 81f9e0652..48825ddd1 100644 +index 507c74a63..1ec01d2e8 100644 --- a/Makefile +++ b/Makefile -@@ -808,7 +808,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -840,7 +840,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index 8f267f9..90f522c 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,4 +1,4 @@ -From d27babe93629cf6a437cfe2908d596e8a94b5b27 Mon Sep 17 00:00:00 2001 +From ee84a2a0ed040405b85913018f5be232a3744a21 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 Subject: [PATCH 2/3] fedora yosys-mancfginc patch diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 6e9462c..857b34d 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,4 +1,4 @@ -From c4a1200deb06f13333f2c0ec138b2e879173eb20 Mon Sep 17 00:00:00 2001 +From 793a337eacce0f5d51d470f0dcd196808541c9d6 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sat, 11 Jan 2025 17:39:16 -0500 Subject: [PATCH 3/3] fedora yosys-cxxopts patch diff --git a/sources b/sources index 75b31b7..80be969 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-1717fa0.tar.gz) = 95a27f3ac9f64564262b78551eaef031e634a627e3f1ea8b4291a227692224753225b29623bff39c37a6fce6339129983b4688b25f291503c663aaacad2c50dd +SHA512 (yosys-3bc26ff.tar.gz) = 45bd87d1789d9f0efedc43f480aef6c672a39dd43c3edfdce3f2f2f8191eb6c8f8210208b3853c3df4b15bc8627509f5c827bc6974dd1378c5b5d1b23101e935 SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 10b727e..3ae2913 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 1717fa01800a0893983c9aa3aa04f12d728cf540 +%global commit0 3bc26ff4d055adfbba8b424508ab4a36405ffc0b %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20260205 +%global snapdate 20260304 Name: yosys -Version: 0.62 +Version: 0.63 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -39,12 +39,13 @@ BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.62 +BuildRequires: yosyshq-abc >= 0.63 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel BuildRequires: txt2man BuildRequires: gtkwave +BuildRequires: gtest-devel # required for documentation: BuildRequires: graphviz @@ -63,7 +64,7 @@ BuildRequires: rsync Requires: %{name}-share = %{version}-%{release} Requires: graphviz python-click python-xdot -Requires: yosyshq-abc >= 0.57 +Requires: yosyshq-abc >= 0.63 # https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval : ExcludeArch: %{ix86} @@ -174,6 +175,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Wed Mar 04 2026 Gabriel Somlo - 0.63.1.20260304git3bc26ff +- update to 0.63 snapshot + * Thu Feb 05 2026 Gabriel Somlo - 0.62.1.20260205git1717fa0 - update to 0.62 snapshot From 3ab319eb55c50c1d73bae362eea7c31ecca43259 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 19 May 2026 09:04:53 -0400 Subject: [PATCH 17/21] update to 0.65 snapshot --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 10 +++--- 0002-fedora-yosys-mancfginc-patch.patch | 6 ++-- 0003-fedora-yosys-cxxopts-patch.patch | 15 ++++----- ...-aiger-tests-when-ABCEXTERNAL-is-set.patch | 31 +++++++++++++++++++ sources | 2 +- yosys.spec | 19 +++++++++--- 7 files changed, 61 insertions(+), 23 deletions(-) create mode 100644 0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch diff --git a/.gitignore b/.gitignore index fcbfa62..5dfc193 100644 --- a/.gitignore +++ b/.gitignore @@ -66,3 +66,4 @@ /yosys-967b47d.tar.gz /yosys-1717fa0.tar.gz /yosys-3bc26ff.tar.gz +/yosys-90c26fe.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index 1dd68fe..ff01bf1 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,7 +1,7 @@ -From 6407842130dd6430c9e754e6551d6c41ba7c495c Mon Sep 17 00:00:00 2001 +From 5dd9b36d4a3d298c7d5d3192464be6140fd93c7b Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Tue, 16 Jul 2024 15:20:56 -0400 -Subject: [PATCH 1/3] fedora yosys-cfginc patch +Subject: [PATCH 1/4] fedora yosys-cfginc patch Fedora-specific patch: Change the substitution done when making yosys-config so that it outputs @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 507c74a63..1ec01d2e8 100644 +index 4af083df4..8e5047464 100644 --- a/Makefile +++ b/Makefile -@@ -840,7 +840,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -842,7 +842,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile @@ -38,5 +38,5 @@ index 75b4c9e56..ddc8f139f 100644 ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" mkdir -p plugin_search -- -2.52.0 +2.54.0 diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index 90f522c..918c02c 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,7 +1,7 @@ -From ee84a2a0ed040405b85913018f5be232a3744a21 Mon Sep 17 00:00:00 2001 +From dd8fb3752ae631b4c200a37288d0e2067d09c556 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 -Subject: [PATCH 2/3] fedora yosys-mancfginc patch +Subject: [PATCH 2/4] fedora yosys-mancfginc patch Fedora-specific patch: When invoking yosys-config for examples in "make docs", need to use @@ -68,5 +68,5 @@ index 566d24b18..b09bc567c 100644 #include #include -- -2.52.0 +2.54.0 diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 857b34d..1d91b65 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,17 +1,14 @@ -From 793a337eacce0f5d51d470f0dcd196808541c9d6 Mon Sep 17 00:00:00 2001 +From 79363ce705d15851b51506c0c664d3496f696ed9 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo -Date: Sat, 11 Jan 2025 17:39:16 -0500 -Subject: [PATCH 3/3] fedora yosys-cxxopts patch +Date: Wed, 8 Apr 2026 14:42:15 -0400 +Subject: [PATCH 3/4] fedora yosys-cxxopts patch -Fedora-specific patch: -Use relative path (instead of assuming a bundled submodule) when -referencing the cxxopts.hpp include file. --- kernel/driver.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/driver.cc b/kernel/driver.cc -index fa78bad59..ea1c01f87 100644 +index 30c9a285f..2ff0c2d6b 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -21,7 +21,7 @@ @@ -21,8 +18,8 @@ index fa78bad59..ea1c01f87 100644 -#include "libs/cxxopts/include/cxxopts.hpp" +#include #include + #include - #ifdef YOSYS_ENABLE_READLINE -- -2.52.0 +2.54.0 diff --git a/0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch b/0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch new file mode 100644 index 0000000..6ea7a71 --- /dev/null +++ b/0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch @@ -0,0 +1,31 @@ +From 7f8f6a92d7944dbe4779505201b89d87e876192c Mon Sep 17 00:00:00 2001 +From: Leon White +Date: Sat, 16 May 2026 09:12:20 +0200 +Subject: [PATCH 4/4] Fix aiger tests when ABCEXTERNAL is set + +--- + tests/aiger/generate_mk.py | 9 ++++++++- + 1 file changed, 8 insertions(+), 1 deletion(-) + +diff --git a/tests/aiger/generate_mk.py b/tests/aiger/generate_mk.py +index a90a63527..e6f3f4091 100644 +--- a/tests/aiger/generate_mk.py ++++ b/tests/aiger/generate_mk.py +@@ -54,6 +54,13 @@ def create_tests(): + "rm -f aigmap.err" + ])) + +-extra = [ f"ABC ?= {gen_tests_makefile.yosys_basedir}/yosys-abc", "SHELL := /usr/bin/env bash" ] ++extra = [ ++ "ifneq ($(ABCEXTERNAL),)", ++ "ABC ?= $(ABCEXTERNAL)", ++ "else", ++ f"ABC ?= {gen_tests_makefile.yosys_basedir}/yosys-abc", ++ "endif", ++ "SHELL := /usr/bin/env bash", ++] + + gen_tests_makefile.generate_custom(create_tests, extra) +-- +2.54.0 + diff --git a/sources b/sources index 80be969..9d95d7e 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-3bc26ff.tar.gz) = 45bd87d1789d9f0efedc43f480aef6c672a39dd43c3edfdce3f2f2f8191eb6c8f8210208b3853c3df4b15bc8627509f5c827bc6974dd1378c5b5d1b23101e935 +SHA512 (yosys-90c26fe.tar.gz) = b711a816e53a306e22b4e9d2377ce308d5b303e364a6215df6eb9c018d64c9a5908d30a926bc4bf4a4e147bfa006acc812bd1cb77a95339c2a5ded61eb5f5de4 SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 3ae2913..0ba0316 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 3bc26ff4d055adfbba8b424508ab4a36405ffc0b +%global commit0 90c26fe6714b441363d2ddb47a6d646b8868ff5d %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20260304 +%global snapdate 20260512 Name: yosys -Version: 0.63 +Version: 0.65 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -34,18 +34,24 @@ Patch2: 0002-fedora-yosys-mancfginc-patch.patch # referencing the cxxopts.hpp include file. Patch3: 0003-fedora-yosys-cxxopts-patch.patch +# Fedora-specific patch: +# Fix aiger tests when ABCEXTERNAL is set +# (see https://github.com/YosysHQ/yosys/pull/5890) +Patch4: 0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch + BuildRequires: make BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.63 +BuildRequires: yosyshq-abc >= 0.65 BuildRequires: iverilog >= 12.0 BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel BuildRequires: txt2man BuildRequires: gtkwave BuildRequires: gtest-devel +BuildRequires: gmock-devel # required for documentation: BuildRequires: graphviz @@ -64,7 +70,7 @@ BuildRequires: rsync Requires: %{name}-share = %{version}-%{release} Requires: graphviz python-click python-xdot -Requires: yosyshq-abc >= 0.63 +Requires: yosyshq-abc >= 0.65 # https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval : ExcludeArch: %{ix86} @@ -175,6 +181,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Tue May 12 2026 Gabriel Somlo - 0.65.1.20260512git90c26fe +- update to 0.65 snapshot + * Wed Mar 04 2026 Gabriel Somlo - 0.63.1.20260304git3bc26ff - update to 0.63 snapshot From 30fe03a5515ee2438f871927a8a804c3f758eda8 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Wed, 3 Jun 2026 05:45:59 -0400 Subject: [PATCH 18/21] update to 0.66 snapshot --- .gitignore | 1 + 0001-fedora-yosys-cfginc-patch.patch | 20 ++++++------ 0002-fedora-yosys-mancfginc-patch.patch | 8 ++--- 0003-fedora-yosys-cxxopts-patch.patch | 6 ++-- ...-aiger-tests-when-ABCEXTERNAL-is-set.patch | 31 ------------------- sources | 2 +- yosys.spec | 14 ++++----- 7 files changed, 25 insertions(+), 57 deletions(-) delete mode 100644 0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch diff --git a/.gitignore b/.gitignore index 5dfc193..9551dcd 100644 --- a/.gitignore +++ b/.gitignore @@ -67,3 +67,4 @@ /yosys-1717fa0.tar.gz /yosys-3bc26ff.tar.gz /yosys-90c26fe.tar.gz +/yosys-86f2dde.tar.gz diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch index ff01bf1..487cb9b 100644 --- a/0001-fedora-yosys-cfginc-patch.patch +++ b/0001-fedora-yosys-cfginc-patch.patch @@ -1,7 +1,7 @@ -From 5dd9b36d4a3d298c7d5d3192464be6140fd93c7b Mon Sep 17 00:00:00 2001 +From dd996595321640e5c8e62691d773d5c8e99cbee0 Mon Sep 17 00:00:00 2001 From: Gabriel Somlo -Date: Tue, 16 Jul 2024 15:20:56 -0400 -Subject: [PATCH 1/4] fedora yosys-cfginc patch +Date: Mon, 1 Jun 2026 14:19:57 -0400 +Subject: [PATCH 1/3] fedora yosys-cfginc patch Fedora-specific patch: Change the substitution done when making yosys-config so that it outputs @@ -12,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile -index 4af083df4..8e5047464 100644 +index 99a00fd40..d7ec57aed 100644 --- a/Makefile +++ b/Makefile -@@ -842,7 +842,7 @@ LIBS_NOVERIFIC = $(LIBS) +@@ -845,7 +845,7 @@ LIBS_NOVERIFIC = $(LIBS) endif $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile @@ -25,17 +25,17 @@ index 4af083df4..8e5047464 100644 -e 's#@BINDIR@#$(strip $(BINDIR))#;' -e 's#@DATDIR@#$(strip $(DATDIR))#;' < $< > $(PROGRAM_PREFIX)yosys-config $(Q) chmod +x $(PROGRAM_PREFIX)yosys-config diff --git a/tests/various/plugin.sh b/tests/various/plugin.sh -index 75b4c9e56..ddc8f139f 100644 +index 4e645ee17..49435d7aa 100644 --- a/tests/various/plugin.sh +++ b/tests/various/plugin.sh @@ -4,7 +4,7 @@ rm -rf plugin_search - CXXFLAGS=$(../../yosys-config --cxxflags) - DATDIR=$(../../yosys-config --datdir) + CXXFLAGS=$(${YOSYS_CONFIG} --cxxflags) + DATDIR=$(${YOSYS_CONFIG} --datdir) DATDIR=${DATDIR//\//\\\/} -CXXFLAGS=${CXXFLAGS//$DATDIR/..\/..\/share} +CXXFLAGS=${CXXFLAGS//\/usr\/include\/yosys/..\/..\/share\/include} - ../../yosys-config --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc - ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!" + ${YOSYS_CONFIG} --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc + ${YOSYS} -m ./plugin.so -p "test" | grep -q "Plugin test passed!" mkdir -p plugin_search -- 2.54.0 diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch index 918c02c..190b462 100644 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ b/0002-fedora-yosys-mancfginc-patch.patch @@ -1,7 +1,7 @@ -From dd8fb3752ae631b4c200a37288d0e2067d09c556 Mon Sep 17 00:00:00 2001 +From d9c91f2ab37928ef3f38eef6d166dc182f11bc2a Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Thu, 5 Sep 2024 20:56:02 -0400 -Subject: [PATCH 2/4] fedora yosys-mancfginc patch +Subject: [PATCH 2/3] fedora yosys-mancfginc patch Fedora-specific patch: When invoking yosys-config for examples in "make docs", need to use @@ -28,7 +28,7 @@ index 74b547a20..91e1e7b28 100644 test0.log: my_cmd.so $(YOSYS) -QTl test0.log_new -m ./my_cmd.so -p 'my_cmd foo bar' -f verilog absval_ref.v diff --git a/docs/source/code_examples/extensions/my_cmd.cc b/docs/source/code_examples/extensions/my_cmd.cc -index d52268b4a..6b67f10f3 100644 +index 742697b6e..60a3c6d13 100644 --- a/docs/source/code_examples/extensions/my_cmd.cc +++ b/docs/source/code_examples/extensions/my_cmd.cc @@ -1,5 +1,5 @@ @@ -53,7 +53,7 @@ index 17f700c88..a15eb3005 100644 .PHONY: clean clean: diff --git a/docs/source/code_examples/stubnets/stubnets.cc b/docs/source/code_examples/stubnets/stubnets.cc -index 566d24b18..b09bc567c 100644 +index 41fb66e82..5a3b5a42d 100644 --- a/docs/source/code_examples/stubnets/stubnets.cc +++ b/docs/source/code_examples/stubnets/stubnets.cc @@ -5,8 +5,8 @@ diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch index 1d91b65..3464a33 100644 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ b/0003-fedora-yosys-cxxopts-patch.patch @@ -1,14 +1,14 @@ -From 79363ce705d15851b51506c0c664d3496f696ed9 Mon Sep 17 00:00:00 2001 +From 9011866d64865a244bdaabcb5597a8ceb5c3a95f Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Wed, 8 Apr 2026 14:42:15 -0400 -Subject: [PATCH 3/4] fedora yosys-cxxopts patch +Subject: [PATCH 3/3] fedora yosys-cxxopts patch --- kernel/driver.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/driver.cc b/kernel/driver.cc -index 30c9a285f..2ff0c2d6b 100644 +index 73b687f80..8ac0defbd 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -21,7 +21,7 @@ diff --git a/0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch b/0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch deleted file mode 100644 index 6ea7a71..0000000 --- a/0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch +++ /dev/null @@ -1,31 +0,0 @@ -From 7f8f6a92d7944dbe4779505201b89d87e876192c Mon Sep 17 00:00:00 2001 -From: Leon White -Date: Sat, 16 May 2026 09:12:20 +0200 -Subject: [PATCH 4/4] Fix aiger tests when ABCEXTERNAL is set - ---- - tests/aiger/generate_mk.py | 9 ++++++++- - 1 file changed, 8 insertions(+), 1 deletion(-) - -diff --git a/tests/aiger/generate_mk.py b/tests/aiger/generate_mk.py -index a90a63527..e6f3f4091 100644 ---- a/tests/aiger/generate_mk.py -+++ b/tests/aiger/generate_mk.py -@@ -54,6 +54,13 @@ def create_tests(): - "rm -f aigmap.err" - ])) - --extra = [ f"ABC ?= {gen_tests_makefile.yosys_basedir}/yosys-abc", "SHELL := /usr/bin/env bash" ] -+extra = [ -+ "ifneq ($(ABCEXTERNAL),)", -+ "ABC ?= $(ABCEXTERNAL)", -+ "else", -+ f"ABC ?= {gen_tests_makefile.yosys_basedir}/yosys-abc", -+ "endif", -+ "SHELL := /usr/bin/env bash", -+] - - gen_tests_makefile.generate_custom(create_tests, extra) --- -2.54.0 - diff --git a/sources b/sources index 9d95d7e..c31106a 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-90c26fe.tar.gz) = b711a816e53a306e22b4e9d2377ce308d5b303e364a6215df6eb9c018d64c9a5908d30a926bc4bf4a4e147bfa006acc812bd1cb77a95339c2a5ded61eb5f5de4 +SHA512 (yosys-86f2dde.tar.gz) = 4c4eb72c2d72644cac0f00e4eb26d13a1172f93c87284d747587eb4d25e38e5fb96be1d850700c55eea581de3017f008dbd32fadea7ef1ba4a8666a64c82fe3e SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf diff --git a/yosys.spec b/yosys.spec index 0ba0316..d46a7f8 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 90c26fe6714b441363d2ddb47a6d646b8868ff5d +%global commit0 86f2ddebce7e98ce7cacc27e8a5c14cb53b51b51 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20260512 +%global snapdate 20260601 Name: yosys -Version: 0.65 +Version: 0.66 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -34,11 +34,6 @@ Patch2: 0002-fedora-yosys-mancfginc-patch.patch # referencing the cxxopts.hpp include file. Patch3: 0003-fedora-yosys-cxxopts-patch.patch -# Fedora-specific patch: -# Fix aiger tests when ABCEXTERNAL is set -# (see https://github.com/YosysHQ/yosys/pull/5890) -Patch4: 0004-Fix-aiger-tests-when-ABCEXTERNAL-is-set.patch - BuildRequires: make BuildRequires: gcc-c++ BuildRequires: cxxopts-devel @@ -181,6 +176,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Mon Jun 01 2026 Gabriel Somlo - 0.66.1.20260601git86f2dde +- update to 0.66 snapshot + * Tue May 12 2026 Gabriel Somlo - 0.65.1.20260512git90c26fe - update to 0.65 snapshot From 11695cfc0ce7739ee5e6147b70f78c7f02a6e53b Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Sun, 12 Jul 2026 12:35:56 -0400 Subject: [PATCH 19/21] update to 0.67 --- .gitignore | 2 + ...upport-for-pre-packaged-dependencies.patch | 185 ++++++++++++++++++ 0001-fedora-yosys-cfginc-patch.patch | 42 ---- 0002-fedora-yosys-mancfginc-patch.patch | 72 ------- 0003-fedora-yosys-cxxopts-patch.patch | 25 --- sources | 4 +- yosys.spec | 51 ++--- 7 files changed, 215 insertions(+), 166 deletions(-) create mode 100644 0001-CMake-Support-for-pre-packaged-dependencies.patch delete mode 100644 0001-fedora-yosys-cfginc-patch.patch delete mode 100644 0002-fedora-yosys-mancfginc-patch.patch delete mode 100644 0003-fedora-yosys-cxxopts-patch.patch diff --git a/.gitignore b/.gitignore index 9551dcd..92c8afd 100644 --- a/.gitignore +++ b/.gitignore @@ -68,3 +68,5 @@ /yosys-3bc26ff.tar.gz /yosys-90c26fe.tar.gz /yosys-86f2dde.tar.gz +/yosys-b88b73a.tar.gz +/yosys_0.65-1.debian.tar.xz diff --git a/0001-CMake-Support-for-pre-packaged-dependencies.patch b/0001-CMake-Support-for-pre-packaged-dependencies.patch new file mode 100644 index 0000000..c07f47b --- /dev/null +++ b/0001-CMake-Support-for-pre-packaged-dependencies.patch @@ -0,0 +1,185 @@ +From bfbeb68417cd7876cef0b8339e9deec1b18fd955 Mon Sep 17 00:00:00 2001 +From: Gabriel Somlo +Date: Sat, 11 Jul 2026 14:26:48 -0400 +Subject: [PATCH] CMake: Support for pre-packaged dependencies + +When packaging for a distro (e.g., Fedora), support linking +against pre-packaged dependencies instead of vendoring. When +enabling the YOSYS_WITH_PKG_DEPS option, assume dependencies +such as `cxxopts-devel`, `[sv-]slang[-devel]`, etc. are +already available and installed. + +Signed-off-by: Gabriel Somlo +--- + CMakeLists.txt | 1 + + frontends/CMakeLists.txt | 4 +- + kernel/CMakeLists.txt | 3 +- + kernel/driver.cc | 2 +- + libs/CMakeLists.txt | 88 +++++++++++++++++++++------------------- + 5 files changed, 53 insertions(+), 45 deletions(-) + +diff --git a/CMakeLists.txt b/CMakeLists.txt +index bb3766fd7..9cfdace58 100644 +--- a/CMakeLists.txt ++++ b/CMakeLists.txt +@@ -56,6 +56,7 @@ option(YOSYS_WITHOUT_EDITLINE "Disable editline integration" OFF) + option(YOSYS_WITHOUT_SLANG "Disable Slang integration" OFF) + option(YOSYS_WITHOUT_TCL "Disable Tcl integration" OFF) + option(YOSYS_WITH_PYTHON "Enable Python integration" OFF) ++option(YOSYS_WITH_PKG_DEPS "Disable bundled/vendored dependencies" OFF) + + set(YOSYS_VERIFIC_DIR "" CACHE FILEPATH "Path to the Verific source code (empty to disable)") + set(YOSYS_VERIFIC_COMPONENTS "" CACHE STRING +diff --git a/frontends/CMakeLists.txt b/frontends/CMakeLists.txt +index 6e6eda488..3972fd811 100644 +--- a/frontends/CMakeLists.txt ++++ b/frontends/CMakeLists.txt +@@ -6,6 +6,8 @@ add_subdirectory(json) + add_subdirectory(liberty) + add_subdirectory(rpc) + add_subdirectory(rtlil) +-add_subdirectory(slang) ++if (NOT (YOSYS_WITH_PKG_DEPS OR YOSYS_WITHOUT_SLANG)) ++ add_subdirectory(slang) ++endif() + add_subdirectory(verific) + add_subdirectory(verilog) +diff --git a/kernel/CMakeLists.txt b/kernel/CMakeLists.txt +index 4cd76b4ff..45f3bb0e3 100644 +--- a/kernel/CMakeLists.txt ++++ b/kernel/CMakeLists.txt +@@ -89,9 +89,10 @@ yosys_core(kernel + yw.cc + yw.h + INCLUDE_DIRS ++ $<$>:${CMAKE_CURRENT_SOURCE_DIR}/libs/cxxopts/include/> + ${pybind11_INCLUDE_DIR} + LIBRARIES +- cxxopts ++ $<$>:cxxopts> + $<${YOSYS_ENABLE_PLUGINS}:${Dlfcn_LIBRARIES}> + $<${YOSYS_ENABLE_ZLIB}:PkgConfig::zlib> + $<${YOSYS_ENABLE_READLINE}:PkgConfig::readline> +diff --git a/kernel/driver.cc b/kernel/driver.cc +index 2a4ad1295..7bb67ffea 100644 +--- a/kernel/driver.cc ++++ b/kernel/driver.cc +@@ -21,7 +21,7 @@ + #include "kernel/hashlib.h" + #include "libs/sha1/sha1.h" + #define CXXOPTS_VECTOR_DELIMITER '\0' +-#include "libs/cxxopts/include/cxxopts.hpp" ++#include + #include + #include + +diff --git a/libs/CMakeLists.txt b/libs/CMakeLists.txt +index 5ea08ef9d..4dc97df3d 100644 +--- a/libs/CMakeLists.txt ++++ b/libs/CMakeLists.txt +@@ -1,5 +1,7 @@ + add_subdirectory(bigint) +-add_subdirectory(cxxopts) ++if (NOT YOSYS_WITH_PKG_DEPS) ++ add_subdirectory(cxxopts) ++endif() + add_subdirectory(dlfcn-win32) + add_subdirectory(ezsat) + add_subdirectory(fst) +@@ -7,50 +9,52 @@ add_subdirectory(json11) + add_subdirectory(minisat) + add_subdirectory(sha1) + add_subdirectory(subcircuit) +-block() +- set(BUILD_SHARED_LIBS OFF) +- include(FetchContent) +- set(FETCHCONTENT_FULLY_DISCONNECTED ON) ++if (NOT YOSYS_WITH_PKG_DEPS) ++ block() ++ set(BUILD_SHARED_LIBS OFF) ++ include(FetchContent) ++ set(FETCHCONTENT_FULLY_DISCONNECTED ON) + +- option(FMT_INSTALL OFF) +- FetchContent_Declare( +- fmt +- EXCLUDE_FROM_ALL +- SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/fmt +- ) +- FetchContent_MakeAvailable(fmt) ++ option(FMT_INSTALL OFF) ++ FetchContent_Declare( ++ fmt ++ EXCLUDE_FROM_ALL ++ SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/fmt ++ ) ++ FetchContent_MakeAvailable(fmt) + +- FetchContent_Declare( +- tomlplusplus +- EXCLUDE_FROM_ALL +- SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/tomlplusplus +- ) +- FetchContent_MakeAvailable(tomlplusplus) ++ FetchContent_Declare( ++ tomlplusplus ++ EXCLUDE_FROM_ALL ++ SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/tomlplusplus ++ ) ++ FetchContent_MakeAvailable(tomlplusplus) + +- FetchContent_Declare( +- boost_regex +- EXCLUDE_FROM_ALL +- SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/boost_regex +- SOURCE_SUBDIR _no_build_ +- ) +- FetchContent_MakeAvailable(boost_regex) ++ FetchContent_Declare( ++ boost_regex ++ EXCLUDE_FROM_ALL ++ SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/boost_regex ++ SOURCE_SUBDIR _no_build_ ++ ) ++ FetchContent_MakeAvailable(boost_regex) + +- if (NOT YOSYS_WITHOUT_SLANG) +- set(SLANG_USE_MIMALLOC OFF) +- add_subdirectory(slang) +- # Headers autodetect based on but when version +- # does exist but does not match requirements it becomes problematic +- if(NOT Boost_FOUND) +- target_compile_definitions(slang_slang PRIVATE BOOST_REGEX_STANDALONE) +- endif() +- if (SLANG_INCLUDE_TOOLS) +- # Temporary to prevent build issues +- set_target_properties(slang_tidy_obj_lib PROPERTIES YOSYS_IS_ABC ON) ++ if (NOT YOSYS_WITHOUT_SLANG) ++ set(SLANG_USE_MIMALLOC OFF) ++ add_subdirectory(slang) ++ # Headers autodetect based on but when version ++ # does exist but does not match requirements it becomes problematic ++ if(NOT Boost_FOUND) ++ target_compile_definitions(slang_slang PRIVATE BOOST_REGEX_STANDALONE) ++ endif() ++ if (SLANG_INCLUDE_TOOLS) ++ # Temporary to prevent build issues ++ set_target_properties(slang_tidy_obj_lib PROPERTIES YOSYS_IS_ABC ON) + +- install(TARGETS slang_driver RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) +- install(TARGETS slang_hier RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) +- install(TARGETS slang_reflect RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) +- install(TARGETS slang_tidy RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) ++ install(TARGETS slang_driver RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) ++ install(TARGETS slang_hier RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) ++ install(TARGETS slang_reflect RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) ++ install(TARGETS slang_tidy RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) ++ endif() + endif() +- endif() +-endblock() ++ endblock() ++endif() +-- +2.54.0 + diff --git a/0001-fedora-yosys-cfginc-patch.patch b/0001-fedora-yosys-cfginc-patch.patch deleted file mode 100644 index 487cb9b..0000000 --- a/0001-fedora-yosys-cfginc-patch.patch +++ /dev/null @@ -1,42 +0,0 @@ -From dd996595321640e5c8e62691d773d5c8e99cbee0 Mon Sep 17 00:00:00 2001 -From: Gabriel Somlo -Date: Mon, 1 Jun 2026 14:19:57 -0400 -Subject: [PATCH 1/3] fedora yosys-cfginc patch - -Fedora-specific patch: -Change the substitution done when making yosys-config so that it outputs -CXXFLAGS with -I/usr/include/yosys ---- - Makefile | 2 +- - tests/various/plugin.sh | 2 +- - 2 files changed, 2 insertions(+), 2 deletions(-) - -diff --git a/Makefile b/Makefile -index 99a00fd40..d7ec57aed 100644 ---- a/Makefile -+++ b/Makefile -@@ -845,7 +845,7 @@ LIBS_NOVERIFIC = $(LIBS) - endif - - $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile -- $(P) $(SED) -e 's#@CXXFLAGS@#$(subst -Ilibs/dlfcn-win32,,$(subst -I. -I"$(YOSYS_SRC)",-I"$(DATDIR)/include",$(strip $(CXXFLAGS_NOVERIFIC))))#;' \ -+ $(P) $(SED) -e 's#@CXXFLAGS@#$(subst -Ilibs/dlfcn-win32,,$(subst -I. -I"$(YOSYS_SRC)",-I"$(PREFIX)/include/yosys",$(strip $(CXXFLAGS_NOVERIFIC))))#;' \ - -e 's#@CXX@#$(strip $(CXX))#;' -e 's#@LINKFLAGS@#$(strip $(LINKFLAGS) $(PLUGIN_LINKFLAGS))#;' -e 's#@LIBS@#$(strip $(LIBS_NOVERIFIC) $(PLUGIN_LIBS))#;' \ - -e 's#@BINDIR@#$(strip $(BINDIR))#;' -e 's#@DATDIR@#$(strip $(DATDIR))#;' < $< > $(PROGRAM_PREFIX)yosys-config - $(Q) chmod +x $(PROGRAM_PREFIX)yosys-config -diff --git a/tests/various/plugin.sh b/tests/various/plugin.sh -index 4e645ee17..49435d7aa 100644 ---- a/tests/various/plugin.sh -+++ b/tests/various/plugin.sh -@@ -4,7 +4,7 @@ rm -rf plugin_search - CXXFLAGS=$(${YOSYS_CONFIG} --cxxflags) - DATDIR=$(${YOSYS_CONFIG} --datdir) - DATDIR=${DATDIR//\//\\\/} --CXXFLAGS=${CXXFLAGS//$DATDIR/..\/..\/share} -+CXXFLAGS=${CXXFLAGS//\/usr\/include\/yosys/..\/..\/share\/include} - ${YOSYS_CONFIG} --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc - ${YOSYS} -m ./plugin.so -p "test" | grep -q "Plugin test passed!" - mkdir -p plugin_search --- -2.54.0 - diff --git a/0002-fedora-yosys-mancfginc-patch.patch b/0002-fedora-yosys-mancfginc-patch.patch deleted file mode 100644 index 190b462..0000000 --- a/0002-fedora-yosys-mancfginc-patch.patch +++ /dev/null @@ -1,72 +0,0 @@ -From d9c91f2ab37928ef3f38eef6d166dc182f11bc2a Mon Sep 17 00:00:00 2001 -From: Gabriel Somlo -Date: Thu, 5 Sep 2024 20:56:02 -0400 -Subject: [PATCH 2/3] fedora yosys-mancfginc patch - -Fedora-specific patch: -When invoking yosys-config for examples in "make docs", need to use -relative path for includes, as they're not installed in build host -filesystem. ---- - docs/source/code_examples/extensions/Makefile | 2 +- - docs/source/code_examples/extensions/my_cmd.cc | 4 ++-- - docs/source/code_examples/stubnets/Makefile | 2 +- - docs/source/code_examples/stubnets/stubnets.cc | 4 ++-- - 4 files changed, 6 insertions(+), 6 deletions(-) - -diff --git a/docs/source/code_examples/extensions/Makefile b/docs/source/code_examples/extensions/Makefile -index 74b547a20..91e1e7b28 100644 ---- a/docs/source/code_examples/extensions/Makefile -+++ b/docs/source/code_examples/extensions/Makefile -@@ -11,7 +11,7 @@ CXXFLAGS=$(shell $(YOSYS)-config --cxxflags) - DATDIR=$(shell $(YOSYS)-config --datdir) - - my_cmd.so: my_cmd.cc -- $(YOSYS)-config --exec --cxx $(subst $(DATDIR),../../../../share,$(CXXFLAGS)) --ldflags -o my_cmd.so -shared my_cmd.cc --ldlibs -+ $(YOSYS)-config --exec --cxx $(subst $(DATDIR),../../../../share,$(CXXFLAGS)) -I../../../../ --ldflags -o my_cmd.so -shared my_cmd.cc --ldlibs - - test0.log: my_cmd.so - $(YOSYS) -QTl test0.log_new -m ./my_cmd.so -p 'my_cmd foo bar' -f verilog absval_ref.v -diff --git a/docs/source/code_examples/extensions/my_cmd.cc b/docs/source/code_examples/extensions/my_cmd.cc -index 742697b6e..60a3c6d13 100644 ---- a/docs/source/code_examples/extensions/my_cmd.cc -+++ b/docs/source/code_examples/extensions/my_cmd.cc -@@ -1,5 +1,5 @@ --#include "kernel/yosys.h" --#include "kernel/sigtools.h" -+#include -+#include - - USING_YOSYS_NAMESPACE - PRIVATE_NAMESPACE_BEGIN -diff --git a/docs/source/code_examples/stubnets/Makefile b/docs/source/code_examples/stubnets/Makefile -index 17f700c88..a15eb3005 100644 ---- a/docs/source/code_examples/stubnets/Makefile -+++ b/docs/source/code_examples/stubnets/Makefile -@@ -11,7 +11,7 @@ test: stubnets.so - tail test1.log test2.log test3.log - - stubnets.so: stubnets.cc -- yosys-config --exec --cxx --cxxflags --ldflags -o $@ -shared $^ --ldlibs -+ yosys-config --exec --cxx --cxxflags -I../../../../ --ldflags -o $@ -shared $^ --ldlibs - - .PHONY: clean - clean: -diff --git a/docs/source/code_examples/stubnets/stubnets.cc b/docs/source/code_examples/stubnets/stubnets.cc -index 41fb66e82..5a3b5a42d 100644 ---- a/docs/source/code_examples/stubnets/stubnets.cc -+++ b/docs/source/code_examples/stubnets/stubnets.cc -@@ -5,8 +5,8 @@ - // binary, for any purpose, commercial or non-commercial, and by any - // means. - --#include "kernel/yosys.h" --#include "kernel/sigtools.h" -+#include -+#include - - #include - #include --- -2.54.0 - diff --git a/0003-fedora-yosys-cxxopts-patch.patch b/0003-fedora-yosys-cxxopts-patch.patch deleted file mode 100644 index 3464a33..0000000 --- a/0003-fedora-yosys-cxxopts-patch.patch +++ /dev/null @@ -1,25 +0,0 @@ -From 9011866d64865a244bdaabcb5597a8ceb5c3a95f Mon Sep 17 00:00:00 2001 -From: Gabriel Somlo -Date: Wed, 8 Apr 2026 14:42:15 -0400 -Subject: [PATCH 3/3] fedora yosys-cxxopts patch - ---- - kernel/driver.cc | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/kernel/driver.cc b/kernel/driver.cc -index 73b687f80..8ac0defbd 100644 ---- a/kernel/driver.cc -+++ b/kernel/driver.cc -@@ -21,7 +21,7 @@ - #include "kernel/hashlib.h" - #include "libs/sha1/sha1.h" - #define CXXOPTS_VECTOR_DELIMITER '\0' --#include "libs/cxxopts/include/cxxopts.hpp" -+#include - #include - #include - --- -2.54.0 - diff --git a/sources b/sources index c31106a..73eeecb 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-86f2dde.tar.gz) = 4c4eb72c2d72644cac0f00e4eb26d13a1172f93c87284d747587eb4d25e38e5fb96be1d850700c55eea581de3017f008dbd32fadea7ef1ba4a8666a64c82fe3e -SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf +SHA512 (yosys-b88b73a.tar.gz) = fbff64033e953ab1c387a300297f7609ff43d074c3cf9f7d66601d3fefe949ceb468d46a94d237591d2b0cabd4a2ae8566e19c6dc8a381602d677ecdc0fe2401 +SHA512 (yosys_0.65-1.debian.tar.xz) = a0a68a8229b42d48f87618d3c4e40acf3576e8d18188b83ef3d83c277a17c09ea783fab45dfc3c52cc0fcee220af1a00b7d012a258dc3b124a44d65696d490ba diff --git a/yosys.spec b/yosys.spec index d46a7f8..654d1ce 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,10 +1,10 @@ -%global commit0 86f2ddebce7e98ce7cacc27e8a5c14cb53b51b51 +%global commit0 b88b73a99a9db67030a952e00f2f111d00cb6013 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20260601 +%global snapdate 20260709 Name: yosys -Version: 0.66 +Version: 0.67 Release: 1.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT @@ -14,33 +14,25 @@ Source0: https://github.com/YosysHQ/%{name}/archive/%{commit0}/%{name}-%{ Source1: https://github.com/mdaines/viz.js/releases/download/0.0.3/viz.js # man pages written for Debian: -Source2: http://http.debian.net/debian/pool/main/y/yosys/yosys_0.52-2.debian.tar.xz +Source2: http://http.debian.net/debian/pool/main/y/yosys/yosys_0.65-1.debian.tar.xz # requested that upstream include those man pages: # https://github.com/YosysHQ/yosys/issues/278 # Fedora-specific patch: -# Change the substitution done when making yosys-config so that it outputs -# CXXFLAGS with -I/usr/include/yosys -Patch1: 0001-fedora-yosys-cfginc-patch.patch +# Support for pre-packaged dependencies: +Patch1: 0001-CMake-Support-for-pre-packaged-dependencies.patch -# Fedora-specific patch: -# When invoking yosys-config for examples in "make docs", need to use -# relative path for includes, as they're not installed in build host -# filesystem. -Patch2: 0002-fedora-yosys-mancfginc-patch.patch -# Fedora-specific patch: -# Use relative path (instead of assuming a bundled submodule) when -# referencing the cxxopts.hpp include file. -Patch3: 0003-fedora-yosys-cxxopts-patch.patch - -BuildRequires: make +BuildRequires: cmake BuildRequires: gcc-c++ BuildRequires: cxxopts-devel BuildRequires: bison flex readline-devel pkgconfig BuildRequires: tcl-devel libffi-devel -BuildRequires: yosyshq-abc >= 0.65 +BuildRequires: editline-devel +BuildRequires: yosyshq-abc >= 0.67 BuildRequires: iverilog >= 12.0 +BuildRequires: fmt-devel +BuildRequires: tomlplusplus-devel BuildRequires: python%{python3_pkgversion} BuildRequires: python3-devel BuildRequires: txt2man @@ -65,7 +57,7 @@ BuildRequires: rsync Requires: %{name}-share = %{version}-%{release} Requires: graphviz python-click python-xdot -Requires: yosyshq-abc >= 0.65 +Requires: yosyshq-abc >= 0.67 # https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval : ExcludeArch: %{ix86} @@ -120,17 +112,22 @@ do done %build -make config-gcc -%make_build PREFIX="%{_prefix}" ABCEXTERNAL=%{_bindir}/abc PRETTY=0 all +%cmake -DYOSYS_ABC_EXECUTABLE=%{_bindir}/abc \ + -DYOSYS_WITH_PKG_DEPS=ON \ + -DYOSYS_WITHOUT_SLANG=ON +%cmake_build #manual -make ABCEXTERNAL=%{_bindir}/abc DOC_TARGET=latexpdf SPHINXOPTS='' docs +# For some reason, `yosys-sbtbmc` & `yosys-witness` python scripts +# end up not being executable (which causes building the manual to fail): +chmod +x %{__cmake_builddir}/%{name}* +%cmake_build -t docs-latexpdf date=$(stat -c %y debian/man/yosys-smtbmc.txt | cut -d' ' -f1) txt2man -d $date -t YOSYS-SMTBMC debian/man/yosys-smtbmc.txt >yosys-smtbmc.1 %install -%make_install PREFIX="%{_prefix}" ABCEXTERNAL=%{_bindir}/abc STRIP=/bin/true +%cmake_install # move include files to includedir install -d -m0755 %{buildroot}%{_includedir} @@ -147,7 +144,7 @@ install -m 0644 docs/build/latex/yosyshqyosys.pdf %{buildroot}%{_docdir}/%{name} %py_byte_compile %{python3} %{buildroot}%{_datadir}/yosys/python3 %check -make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 +%cmake_build -t test %files @@ -176,6 +173,10 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Thu Jul 09 2026 Gabriel Somlo - 0.67.1.20260709gitb88b73a +- update to 0.67 snapshot +- switch build to cmake + * Mon Jun 01 2026 Gabriel Somlo - 0.66.1.20260601git86f2dde - update to 0.66 snapshot From a68b013f5708b5af399f9a9c080b6ef3351625fc Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Mon, 13 Jul 2026 21:37:46 -0400 Subject: [PATCH 20/21] update to newer 0.67 snapshot --- .gitignore | 1 + ...upport-for-pre-packaged-dependencies.patch | 185 ------------------ 0001-fedora-unbundle-cxxopts.patch | 49 +++++ sources | 2 +- yosys.spec | 18 +- 5 files changed, 62 insertions(+), 193 deletions(-) delete mode 100644 0001-CMake-Support-for-pre-packaged-dependencies.patch create mode 100644 0001-fedora-unbundle-cxxopts.patch diff --git a/.gitignore b/.gitignore index 92c8afd..030903d 100644 --- a/.gitignore +++ b/.gitignore @@ -70,3 +70,4 @@ /yosys-86f2dde.tar.gz /yosys-b88b73a.tar.gz /yosys_0.65-1.debian.tar.xz +/yosys-22c15a7.tar.gz diff --git a/0001-CMake-Support-for-pre-packaged-dependencies.patch b/0001-CMake-Support-for-pre-packaged-dependencies.patch deleted file mode 100644 index c07f47b..0000000 --- a/0001-CMake-Support-for-pre-packaged-dependencies.patch +++ /dev/null @@ -1,185 +0,0 @@ -From bfbeb68417cd7876cef0b8339e9deec1b18fd955 Mon Sep 17 00:00:00 2001 -From: Gabriel Somlo -Date: Sat, 11 Jul 2026 14:26:48 -0400 -Subject: [PATCH] CMake: Support for pre-packaged dependencies - -When packaging for a distro (e.g., Fedora), support linking -against pre-packaged dependencies instead of vendoring. When -enabling the YOSYS_WITH_PKG_DEPS option, assume dependencies -such as `cxxopts-devel`, `[sv-]slang[-devel]`, etc. are -already available and installed. - -Signed-off-by: Gabriel Somlo ---- - CMakeLists.txt | 1 + - frontends/CMakeLists.txt | 4 +- - kernel/CMakeLists.txt | 3 +- - kernel/driver.cc | 2 +- - libs/CMakeLists.txt | 88 +++++++++++++++++++++------------------- - 5 files changed, 53 insertions(+), 45 deletions(-) - -diff --git a/CMakeLists.txt b/CMakeLists.txt -index bb3766fd7..9cfdace58 100644 ---- a/CMakeLists.txt -+++ b/CMakeLists.txt -@@ -56,6 +56,7 @@ option(YOSYS_WITHOUT_EDITLINE "Disable editline integration" OFF) - option(YOSYS_WITHOUT_SLANG "Disable Slang integration" OFF) - option(YOSYS_WITHOUT_TCL "Disable Tcl integration" OFF) - option(YOSYS_WITH_PYTHON "Enable Python integration" OFF) -+option(YOSYS_WITH_PKG_DEPS "Disable bundled/vendored dependencies" OFF) - - set(YOSYS_VERIFIC_DIR "" CACHE FILEPATH "Path to the Verific source code (empty to disable)") - set(YOSYS_VERIFIC_COMPONENTS "" CACHE STRING -diff --git a/frontends/CMakeLists.txt b/frontends/CMakeLists.txt -index 6e6eda488..3972fd811 100644 ---- a/frontends/CMakeLists.txt -+++ b/frontends/CMakeLists.txt -@@ -6,6 +6,8 @@ add_subdirectory(json) - add_subdirectory(liberty) - add_subdirectory(rpc) - add_subdirectory(rtlil) --add_subdirectory(slang) -+if (NOT (YOSYS_WITH_PKG_DEPS OR YOSYS_WITHOUT_SLANG)) -+ add_subdirectory(slang) -+endif() - add_subdirectory(verific) - add_subdirectory(verilog) -diff --git a/kernel/CMakeLists.txt b/kernel/CMakeLists.txt -index 4cd76b4ff..45f3bb0e3 100644 ---- a/kernel/CMakeLists.txt -+++ b/kernel/CMakeLists.txt -@@ -89,9 +89,10 @@ yosys_core(kernel - yw.cc - yw.h - INCLUDE_DIRS -+ $<$>:${CMAKE_CURRENT_SOURCE_DIR}/libs/cxxopts/include/> - ${pybind11_INCLUDE_DIR} - LIBRARIES -- cxxopts -+ $<$>:cxxopts> - $<${YOSYS_ENABLE_PLUGINS}:${Dlfcn_LIBRARIES}> - $<${YOSYS_ENABLE_ZLIB}:PkgConfig::zlib> - $<${YOSYS_ENABLE_READLINE}:PkgConfig::readline> -diff --git a/kernel/driver.cc b/kernel/driver.cc -index 2a4ad1295..7bb67ffea 100644 ---- a/kernel/driver.cc -+++ b/kernel/driver.cc -@@ -21,7 +21,7 @@ - #include "kernel/hashlib.h" - #include "libs/sha1/sha1.h" - #define CXXOPTS_VECTOR_DELIMITER '\0' --#include "libs/cxxopts/include/cxxopts.hpp" -+#include - #include - #include - -diff --git a/libs/CMakeLists.txt b/libs/CMakeLists.txt -index 5ea08ef9d..4dc97df3d 100644 ---- a/libs/CMakeLists.txt -+++ b/libs/CMakeLists.txt -@@ -1,5 +1,7 @@ - add_subdirectory(bigint) --add_subdirectory(cxxopts) -+if (NOT YOSYS_WITH_PKG_DEPS) -+ add_subdirectory(cxxopts) -+endif() - add_subdirectory(dlfcn-win32) - add_subdirectory(ezsat) - add_subdirectory(fst) -@@ -7,50 +9,52 @@ add_subdirectory(json11) - add_subdirectory(minisat) - add_subdirectory(sha1) - add_subdirectory(subcircuit) --block() -- set(BUILD_SHARED_LIBS OFF) -- include(FetchContent) -- set(FETCHCONTENT_FULLY_DISCONNECTED ON) -+if (NOT YOSYS_WITH_PKG_DEPS) -+ block() -+ set(BUILD_SHARED_LIBS OFF) -+ include(FetchContent) -+ set(FETCHCONTENT_FULLY_DISCONNECTED ON) - -- option(FMT_INSTALL OFF) -- FetchContent_Declare( -- fmt -- EXCLUDE_FROM_ALL -- SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/fmt -- ) -- FetchContent_MakeAvailable(fmt) -+ option(FMT_INSTALL OFF) -+ FetchContent_Declare( -+ fmt -+ EXCLUDE_FROM_ALL -+ SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/fmt -+ ) -+ FetchContent_MakeAvailable(fmt) - -- FetchContent_Declare( -- tomlplusplus -- EXCLUDE_FROM_ALL -- SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/tomlplusplus -- ) -- FetchContent_MakeAvailable(tomlplusplus) -+ FetchContent_Declare( -+ tomlplusplus -+ EXCLUDE_FROM_ALL -+ SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/tomlplusplus -+ ) -+ FetchContent_MakeAvailable(tomlplusplus) - -- FetchContent_Declare( -- boost_regex -- EXCLUDE_FROM_ALL -- SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/boost_regex -- SOURCE_SUBDIR _no_build_ -- ) -- FetchContent_MakeAvailable(boost_regex) -+ FetchContent_Declare( -+ boost_regex -+ EXCLUDE_FROM_ALL -+ SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/boost_regex -+ SOURCE_SUBDIR _no_build_ -+ ) -+ FetchContent_MakeAvailable(boost_regex) - -- if (NOT YOSYS_WITHOUT_SLANG) -- set(SLANG_USE_MIMALLOC OFF) -- add_subdirectory(slang) -- # Headers autodetect based on but when version -- # does exist but does not match requirements it becomes problematic -- if(NOT Boost_FOUND) -- target_compile_definitions(slang_slang PRIVATE BOOST_REGEX_STANDALONE) -- endif() -- if (SLANG_INCLUDE_TOOLS) -- # Temporary to prevent build issues -- set_target_properties(slang_tidy_obj_lib PROPERTIES YOSYS_IS_ABC ON) -+ if (NOT YOSYS_WITHOUT_SLANG) -+ set(SLANG_USE_MIMALLOC OFF) -+ add_subdirectory(slang) -+ # Headers autodetect based on but when version -+ # does exist but does not match requirements it becomes problematic -+ if(NOT Boost_FOUND) -+ target_compile_definitions(slang_slang PRIVATE BOOST_REGEX_STANDALONE) -+ endif() -+ if (SLANG_INCLUDE_TOOLS) -+ # Temporary to prevent build issues -+ set_target_properties(slang_tidy_obj_lib PROPERTIES YOSYS_IS_ABC ON) - -- install(TARGETS slang_driver RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) -- install(TARGETS slang_hier RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) -- install(TARGETS slang_reflect RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) -- install(TARGETS slang_tidy RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) -+ install(TARGETS slang_driver RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) -+ install(TARGETS slang_hier RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) -+ install(TARGETS slang_reflect RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) -+ install(TARGETS slang_tidy RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) -+ endif() - endif() -- endif() --endblock() -+ endblock() -+endif() --- -2.54.0 - diff --git a/0001-fedora-unbundle-cxxopts.patch b/0001-fedora-unbundle-cxxopts.patch new file mode 100644 index 0000000..d72d7b5 --- /dev/null +++ b/0001-fedora-unbundle-cxxopts.patch @@ -0,0 +1,49 @@ +From e54bbc1ffa4b8f81559e3e4d9d2521e9d83f1748 Mon Sep 17 00:00:00 2001 +From: Gabriel Somlo +Date: Mon, 13 Jul 2026 17:01:17 -0400 +Subject: [PATCH] fedora: unbundle cxxopts + +--- + kernel/CMakeLists.txt | 1 - + kernel/driver.cc | 2 +- + libs/CMakeLists.txt | 1 - + 3 files changed, 1 insertion(+), 3 deletions(-) + +diff --git a/kernel/CMakeLists.txt b/kernel/CMakeLists.txt +index 4cd76b4ff..24d86997b 100644 +--- a/kernel/CMakeLists.txt ++++ b/kernel/CMakeLists.txt +@@ -91,7 +91,6 @@ yosys_core(kernel + INCLUDE_DIRS + ${pybind11_INCLUDE_DIR} + LIBRARIES +- cxxopts + $<${YOSYS_ENABLE_PLUGINS}:${Dlfcn_LIBRARIES}> + $<${YOSYS_ENABLE_ZLIB}:PkgConfig::zlib> + $<${YOSYS_ENABLE_READLINE}:PkgConfig::readline> +diff --git a/kernel/driver.cc b/kernel/driver.cc +index 2a4ad1295..7bb67ffea 100644 +--- a/kernel/driver.cc ++++ b/kernel/driver.cc +@@ -21,7 +21,7 @@ + #include "kernel/hashlib.h" + #include "libs/sha1/sha1.h" + #define CXXOPTS_VECTOR_DELIMITER '\0' +-#include "libs/cxxopts/include/cxxopts.hpp" ++#include + #include + #include + +diff --git a/libs/CMakeLists.txt b/libs/CMakeLists.txt +index cb81b3af2..4eb313c5d 100644 +--- a/libs/CMakeLists.txt ++++ b/libs/CMakeLists.txt +@@ -1,5 +1,4 @@ + add_subdirectory(bigint) +-add_subdirectory(cxxopts) + add_subdirectory(dlfcn-win32) + add_subdirectory(ezsat) + add_subdirectory(fst) +-- +2.54.0 + diff --git a/sources b/sources index 73eeecb..c58da99 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (yosys-b88b73a.tar.gz) = fbff64033e953ab1c387a300297f7609ff43d074c3cf9f7d66601d3fefe949ceb468d46a94d237591d2b0cabd4a2ae8566e19c6dc8a381602d677ecdc0fe2401 +SHA512 (yosys-22c15a7.tar.gz) = 2fbc300e1532e770e6988f19e162fe8cafc2d086418d9b77cf0ba1524679fb305a0e642f95fe57b809fa4b16b74b471e26fdeac2828a43bc2d11ce2c06b21da1 SHA512 (yosys_0.65-1.debian.tar.xz) = a0a68a8229b42d48f87618d3c4e40acf3576e8d18188b83ef3d83c277a17c09ea783fab45dfc3c52cc0fcee220af1a00b7d012a258dc3b124a44d65696d490ba diff --git a/yosys.spec b/yosys.spec index 654d1ce..4e02c05 100644 --- a/yosys.spec +++ b/yosys.spec @@ -1,11 +1,11 @@ -%global commit0 b88b73a99a9db67030a952e00f2f111d00cb6013 +%global commit0 22c15a7ecd53437f18f67c72572bd693f78357ca %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7}) -%global snapdate 20260709 +%global snapdate 20260713 Name: yosys Version: 0.67 -Release: 1.%{snapdate}git%{shortcommit0}%{?dist} +Release: 2.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT URL: http://www.clifford.at/yosys/ @@ -18,9 +18,8 @@ Source2: http://http.debian.net/debian/pool/main/y/yosys/yosys_0.65-1.deb # requested that upstream include those man pages: # https://github.com/YosysHQ/yosys/issues/278 -# Fedora-specific patch: -# Support for pre-packaged dependencies: -Patch1: 0001-CMake-Support-for-pre-packaged-dependencies.patch +# Fedora-specific patch: # unbundle cxxopts dependency +Patch1: 0001-fedora-unbundle-cxxopts.patch BuildRequires: cmake @@ -112,8 +111,9 @@ do done %build +# turning off newly-added sv-slang frontend support, for now; +# FIXME: decide on packaging slang dependency vs. enabling bundled subrepo! %cmake -DYOSYS_ABC_EXECUTABLE=%{_bindir}/abc \ - -DYOSYS_WITH_PKG_DEPS=ON \ -DYOSYS_WITHOUT_SLANG=ON %cmake_build #manual @@ -173,6 +173,10 @@ install -m 0644 docs/build/latex/yosyshqyosys.pdf %{buildroot}%{_docdir}/%{name} %changelog +* Mon Jul 13 2026 Gabriel Somlo - 0.67.2.20260713git22c15a7 +- update to newer 0.67 snapshot +- simplify downstream (un-bundling) patch since some upstream support added + * Thu Jul 09 2026 Gabriel Somlo - 0.67.1.20260709gitb88b73a - update to 0.67 snapshot - switch build to cmake From e4d201499930d98562e32bf83896c5ff30c88b2f Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Fri, 17 Jul 2026 09:35:21 +0000 Subject: [PATCH 21/21] Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild --- yosys.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/yosys.spec b/yosys.spec index 4e02c05..7452e91 100644 --- a/yosys.spec +++ b/yosys.spec @@ -5,7 +5,7 @@ Name: yosys Version: 0.67 -Release: 2.%{snapdate}git%{shortcommit0}%{?dist} +Release: 3.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT URL: http://www.clifford.at/yosys/ @@ -173,6 +173,9 @@ install -m 0644 docs/build/latex/yosyshqyosys.pdf %{buildroot}%{_docdir}/%{name} %changelog +* Fri Jul 17 2026 Fedora Release Engineering - 0.67-3.20260713git22c15a7 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild + * Mon Jul 13 2026 Gabriel Somlo - 0.67.2.20260713git22c15a7 - update to newer 0.67 snapshot - simplify downstream (un-bundling) patch since some upstream support added