[rpms/yosys] f44: update to 0.67

[Gabriel Somlo <gsomlo@gmail.com>]

A new commit has been pushed.

Repo   : rpms/yosys
Branch : f44
Commit : 359ff1814d49fbedf2c2724eb4df174c5c84b015
Author : Gabriel Somlo <gsomlo@gmail.com>
Date   : 2026-07-12T12:36:05-04:00
Stats  : +215/-166 in 7 file(s)
URL    : https://src.fedoraproject.org/rpms/yosys/c/359ff1814d49fbedf2c2724eb4df174c5c84b015?branch=f44

Log:
update to 0.67

---
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 <gsomlo@gmail.com>
+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 <gsomlo@gmail.com>
+---
+ 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
++		$<$<NOT:$<BOOL:${YOSYS_WITH_PKG_DEPS}>>:${CMAKE_CURRENT_SOURCE_DIR}/libs/cxxopts/include/>
+ 		${pybind11_INCLUDE_DIR}
+ 	LIBRARIES
+-		cxxopts
++		$<$<NOT:$<BOOL:${YOSYS_WITH_PKG_DEPS}>>: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 <cxxopts.hpp>
+ #include <iostream>
+ #include <chrono>
+ 
+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 <boost/config.hpp> 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 <boost/config.hpp> 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 <gsomlo@gmail.com>
-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 <gsomlo@gmail.com>
-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 <kernel/yosys.h>
-+#include <kernel/sigtools.h>
- 
- 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 <kernel/yosys.h>
-+#include <kernel/sigtools.h>
- 
- #include <string>
- #include <map>
--- 
-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 <gsomlo@gmail.com>
-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 <cxxopts.hpp>
- #include <iostream>
- #include <chrono>
- 
--- 
-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 <gsomlo@gmail.com> - 0.67.1.20260709gitb88b73a
+- update to 0.67 snapshot
+- switch build to cmake
+
 * Mon Jun 01 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.66.1.20260601git86f2dde
 - update to 0.66 snapshot