update to 0.57 snapshot

.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

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 <gsomlo@gmail.com>
 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
 

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 <gsomlo@gmail.com>
 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 <string>
  #include <map>
 -- 
-2.49.0
+2.51.0
 

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 <gsomlo@gmail.com>
 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
 

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

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 <gsomlo@gmail.com> - 0.57.1.20250904gitcec48c6
+- update to 0.57 snapshot
+- update man pages from Debian
+
 * Fri Aug 15 2025 Python Maint <python-maint@redhat.com> - 0.56-2.20250810git8c71226
 - Rebuilt for Python 3.14.0rc2 bytecode