Compare commits

...
Sign in to create a new pull request.

57 commits

Author SHA1 Message Date
Fedora Release Engineering
e4d2014999 Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild 2026-07-17 09:35:21 +00:00
Gabriel Somlo
a68b013f57 update to newer 0.67 snapshot 2026-07-13 21:37:46 -04:00
Gabriel Somlo
11695cfc0c update to 0.67 2026-07-12 12:35:56 -04:00
Gabriel Somlo
30fe03a551 update to 0.66 snapshot 2026-06-03 05:45:59 -04:00
Gabriel Somlo
3ab319eb55 update to 0.65 snapshot 2026-05-19 09:04:53 -04:00
Gabriel Somlo
3fa5e02ca2 update to 0.63 snapshot 2026-03-07 18:25:50 -05:00
Gabriel Somlo
576d18b55d update to 0.62 2026-02-11 09:18:21 -05:00
Gabriel Somlo
b0c0232732 update to 0.61 2026-01-16 11:48:14 -05:00
Gabriel Somlo
c3e7d7f33e update to 0.60 snapshot 2025-12-08 21:08:20 -05:00
Gabriel Somlo
1240281ade update to 0.59 snapshot 2025-11-12 17:18:42 -05:00
Gabriel Somlo
499a0a2bb9 update to 0.58 snapshot 2025-10-11 08:46:11 -04:00
Python Maint
68cba5c4f1 Rebuilt for Python 3.14.0rc3 bytecode 2025-09-19 15:04:11 +02:00
Gabriel Somlo
93c250cf6d update to 0.57 snapshot 2025-09-05 07:40:57 -04:00
Python Maint
0ce5c8331f Rebuilt for Python 3.14.0rc2 bytecode 2025-08-15 15:23:40 +02:00
Gabriel Somlo
a016783b7a update to 0.56 snapshot 2025-08-10 17:59:55 -04:00
Fedora Release Engineering
78c72ead2e Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild 2025-07-25 21:13:04 +00:00
Gabriel Somlo
3ff220e75e update to 0.55 snapshot 2025-07-08 19:29:22 -04:00
Gabriel Somlo
c3513487c3 update to 0.54 snapshot 2025-06-14 15:45:14 -04:00
Gabriel Somlo
8728e294d2 update to 0.53 snapshot 2025-05-09 11:08:24 -04:00
Gabriel Somlo
6fec80573f update to 0.52 snapshot 2025-04-13 10:28:07 -04:00
Gabriel Somlo
5caf989adf pick earliest 0.51 snapshot, buy time to fix subsequent upstream regression 2025-03-26 07:48:50 -04:00
Gabriel Somlo
cb79c2ed1d update to 0.51 snapshot 2025-03-14 10:06:00 -04:00
Gabriel Somlo
234c730676 update to 0.50 snapshot 2025-02-11 20:18:36 -05:00
Gabriel Somlo
35d0a5c651 update to 0.49 snapshot 2025-01-26 19:30:26 -05:00
Fedora Release Engineering
7fde7d38c7 Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild 2025-01-19 16:35:31 +00:00
Gabriel Somlo
6aa248bcb7 update to 0.48 snapshot 2024-12-13 07:50:36 -05:00
Gabriel Somlo
5b724922de update to 0.47 snapshot 2024-11-13 07:49:19 -05:00
40212e2fd8 Call %py_byte_compile and apply patch to fix build reproducibility
Rebuilds showed two issues:
1. a difference in embedded timestamps in two pyc files:
-/usr/share/yosys/python3/__pycache__/ywio.cpython-313.pyc: from py with mtime=1729689590 (2024-10-23 13:19:50 UTC), size=12442 bytes, no hash invalidation
+/usr/share/yosys/python3/__pycache__/ywio.cpython-313.pyc: from py with mtime=1729697160 (2024-10-23 15:26:00 UTC), size=12442 bytes, no hash invalidation
-/usr/share/yosys/python3/__pycache__/smtio.cpython-313.pyc: from py with mtime=1729689590 (2024-10-23 13:19:50 UTC), size=48779 bytes, no hash invalidation
+/usr/share/yosys/python3/__pycache__/smtio.cpython-313.pyc: from py with mtime=1729697160 (2024-10-23 15:26:00 UTC), size=48779 bytes, no hash invalidation

2. a difference in the embedded timestamp:
-// Generated by techlibs/quicklogic/qlf_k6n10f/generate_bram_types_sim.py at 2024-10-23 13:19:51.386645+00:00
+// Generated by techlibs/quicklogic/qlf_k6n10f/generate_bram_types_sim.py at 2024-10-23 15:26:00.568929+00:00

Issue 1. actually means that the pyc file is not useful: in the rpm, the .py
file has a timestamp clamped to $SOURCE_DATE_EPOCH, so the pyc file will be
ignored (and possibly overwritten, if yosys is run by root).

Issue 2. is fixed the patch, and issue 1. is fixed by calling %py_byte_compile
as described by
https://docs.fedoraproject.org/en-US/packaging-guidelines/Python/#_manual_byte_compilation.
With those two changes, I expect the build to be fully reproducible.

R:python3-devel is mandatory, see
https://docs.fedoraproject.org/en-US/packaging-guidelines/Python/#_distro_wide_guidelines.
This makes sure the %py_byte_compile macro is available.
2024-10-28 08:24:11 +01:00
e3e68a9dd9 Modernize the spec file a bit
Upstream code should not be called in %prep. Move make invocation
to %build.

Drop some unused/unnecessary stuff and replace spec macros by normal
shell code which is easier to read.
2024-10-24 11:38:52 +02:00
5e944c6c43 Rebuild with latest add-determinism again
The previous built is showing some discrepancies in pyc files.
I don't think that those really matter, but instead of trying
to figure this out, let's just rebuild again with the known-good
version.
2024-10-23 15:11:11 +02:00
daf29d1e09 Rebuild for rust-add-determinism-0.4.0-2.fc42
The previous build was affected by a bug in add-determinism pyc handler.
It didn't seem to cause any problems apart from build irreproducibility,
but let's do a rebuild with the fixed version just in case.
2024-10-14 14:35:32 +02:00
Gabriel Somlo
33bacaca4e update to 0.46 snapshot 2024-10-12 10:12:50 -04:00
Gabriel Somlo
33b58dd40d update to 0.45 snapshot 2024-09-11 18:54:16 -04:00
Gabriel Somlo
d7604c7437 update to 0.44 snapshot 2024-08-08 18:10:57 -04:00
Fedora Release Engineering
3f9dee0856 Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild 2024-07-20 10:43:19 +00:00
Gabriel Somlo
4fe5f99c43 update to 0.43 snapshot 2024-07-17 08:46:05 -04:00
Gabriel Somlo
7d66edef3b update to 0.42 2024-06-10 17:00:50 -04:00
Gabriel Somlo
a65fbd686e update to 0.41 snapshot 2024-05-24 20:10:57 -04:00
Gabriel Somlo
b29903f176 update to 0.40 2024-04-13 14:00:53 -04:00
Gabriel Somlo
9405926bca update to 0.39 snapshot 2024-03-14 17:39:48 -04:00
Gabriel Somlo
0ba53f26a0 update to 0.38 snapshot 2024-02-12 09:57:31 -05:00
Fedora Release Engineering
5f00c498d2 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-27 10:49:31 +00:00
Gabriel Somlo
c0415d24f6 update to 0.37 (#2258800) 2024-01-17 17:47:55 -05:00
Gabriel Somlo
91ba28f269 update to 0.36 snapshot 2023-12-19 13:44:09 -05:00
Gabriel Somlo
d6f80fd01d update to 0.35 -- again 2023-11-09 07:33:41 -05:00
Gabriel Somlo
9785c67747 update to 0.35 2023-11-09 06:36:24 -05:00
Gabriel Somlo
f2b0ca17a0 update to 0.34 snapshot 2023-10-07 08:33:50 -04:00
Gabriel Somlo
62ef8b6274 update to 0.33 2023-09-12 22:20:28 -04:00
Gabriel Somlo
1a3f8ec8d7 update to 0.32; switch to yosyshq-abc dependency 2023-08-09 14:14:00 -04:00
Gabriel Somlo
ed10320584 drop i686 arch support 2023-08-02 14:46:35 -04:00
Gabriel Somlo
c52686930e update to 0.31 snapshot 2023-08-02 13:19:49 -04:00
Fedora Release Engineering
683f2a5611 Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2023-07-22 19:32:10 +00:00
Gabriel Somlo
bdb641001c update to 0.30 snapshot 2023-06-07 18:44:54 -04:00
Gabriel Somlo
db71b4b366 update to 0.29 2023-05-12 14:25:27 -04:00
Gabriel Somlo
2e54fb7500 update to 0.28 2023-04-24 11:23:29 -04:00
Gabriel Somlo
a8d9bbeee5 update to 0.27 snapshot 2023-03-07 18:11:45 -05:00
Gabriel Somlo
403e4f2fe0 update to 26 snapshot 2023-02-15 16:25:23 -05:00
6 changed files with 325 additions and 104 deletions

47
.gitignore vendored
View file

@ -24,3 +24,50 @@
/yosys-c75f12a.tar.gz
/yosys-7ad7b55.tar.gz
/yosys-7bac192.tar.gz
/yosys-1c667fa.tar.gz
/yosys-b58664d.tar.gz
/yosys-51dd029.tar.gz
/yosys-d82bae3.tar.gz
/yosys-5813809.tar.gz
/yosys-b04d0e0.tar.gz
/yosys-389b8d0.tar.gz
/yosys-05f0262.tar.gz
/yosys-8367f06.tar.gz
/yosys-d87bd7c.tar.gz
/yosys-6a7fad4.tar.gz
/yosys-ac0fb2e.tar.gz
/yosys-b3124f3.tar.gz
/yosys-47bdb3e.tar.gz
/yosys-56c8439.tar.gz
/yosys_0.33-5.debian.tar.xz
/yosys-960d8e3.tar.gz
/yosys-49f5477.tar.gz
/yosys-77b2ae2.tar.gz
/yosys-e8951ab.tar.gz
/yosys-a00137c.tar.gz
/yosys-f20f913.tar.gz
/yosys-e91e95f.tar.gz
/yosys-e456f2e.tar.gz
/yosys-6f9c515.tar.gz
/yosys-e44d1d4.tar.gz
/yosys_0.33-6.debian.tar.xz
/yosys-c4b5190.tar.gz
/yosys-fee39a3.tar.gz
/yosys_0.52-1.debian.tar.xz
/yosys-53c22ab.tar.gz
/yosys-e0747b7.tar.gz
/yosys-60f126c.tar.gz
/yosys-8c71226.tar.gz
/yosys-cec48c6.tar.gz
/yosys_0.52-2.debian.tar.xz
/yosys-9a12d92.tar.gz
/yosys-529886f.tar.gz
/yosys-0e31e38.tar.gz
/yosys-967b47d.tar.gz
/yosys-1717fa0.tar.gz
/yosys-3bc26ff.tar.gz
/yosys-90c26fe.tar.gz
/yosys-86f2dde.tar.gz
/yosys-b88b73a.tar.gz
/yosys_0.65-1.debian.tar.xz
/yosys-22c15a7.tar.gz

View file

@ -0,0 +1,49 @@
From e54bbc1ffa4b8f81559e3e4d9d2521e9d83f1748 Mon Sep 17 00:00:00 2001
From: Gabriel Somlo <gsomlo@gmail.com>
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 <cxxopts.hpp>
#include <iostream>
#include <chrono>
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

View file

@ -1,2 +1,2 @@
SHA512 (yosys-7bac192.tar.gz) = 719aba7cc2afc362a754292f8139222281ddc56589ed6a966e91ff2baaa6b00a0a969fe50fac318d4d5d297147e04f4aad3ea75302ebed1dd3852ac3e980cf51
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc
SHA512 (yosys-22c15a7.tar.gz) = 2fbc300e1532e770e6988f19e162fe8cafc2d086418d9b77cf0ba1524679fb305a0e642f95fe57b809fa4b16b74b471e26fdeac2828a43bc2d11ce2c06b21da1
SHA512 (yosys_0.65-1.debian.tar.xz) = a0a68a8229b42d48f87618d3c4e40acf3576e8d18188b83ef3d83c277a17c09ea783fab45dfc3c52cc0fcee220af1a00b7d012a258dc3b124a44d65696d490ba

View file

@ -1,25 +0,0 @@
diff --git a/Makefile b/Makefile
index b282dc6c6..8f02329bc 100644
--- a/Makefile
+++ b/Makefile
@@ -790,7 +790,7 @@ LDLIBS_NOVERIFIC = $(LDLIBS)
endif
$(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in
- $(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#@LDFLAGS@#$(strip $(LDFLAGS) $(PLUGIN_LDFLAGS))#;' -e 's#@LDLIBS@#$(strip $(LDLIBS_NOVERIFIC) $(PLUGIN_LDLIBS))#;' \
-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
--- a/tests/various/plugin.sh
+++ b/tests/various/plugin.sh
@@ -3,6 +3,6 @@ rm -f plugin.so
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!"

View file

@ -1,26 +0,0 @@
diff --git a/manual/PRESENTATION_Prog.tex b/manual/PRESENTATION_Prog.tex
index b0390cb99..f2791c571 100644
--- a/manual/PRESENTATION_Prog.tex
+++ b/manual/PRESENTATION_Prog.tex
@@ -550,7 +550,7 @@ by loading plugins into Yosys.
\bigskip
Use the following command to compile a Yosys plugin:
\begin{lstlisting}[xleftmargin=1cm, basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont]
-yosys-config --exec --cxx --cxxflags --ldflags \
+yosys-config --exec --cxx --cxxflags -I../.. --ldflags \
-o my_cmd.so -shared my_cmd.cc --ldlibs
\end{lstlisting}
diff --git a/manual/PRESENTATION_Prog/Makefile b/manual/PRESENTATION_Prog/Makefile
index 2ac8e5bed..64ed1c583 100644
--- a/manual/PRESENTATION_Prog/Makefile
+++ b/manual/PRESENTATION_Prog/Makefile
@@ -5,7 +5,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 -Ql test0.log_new -m ./my_cmd.so -p 'my_cmd foo bar' absval_ref.v

View file

@ -1,13 +1,11 @@
%global commit0 7bac1920b28672ba125aba991f30debae1cc0d8f
%global commit0 22c15a7ecd53437f18f67c72572bd693f78357ca
%global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7})
%global snapdate 20230104
%global __python %{__python3}
%global snapdate 20260713
Name: yosys
Version: 0.25
Release: 2.%{snapdate}git%{shortcommit0}%{?dist}
Version: 0.67
Release: 3.%{snapdate}git%{shortcommit0}%{?dist}
Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer
License: ISC and MIT
URL: http://www.clifford.at/yosys/
@ -16,43 +14,52 @@ 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.9-1.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: yosys-cfginc.patch
# Fedora-specific patch: # unbundle cxxopts dependency
Patch1: 0001-fedora-unbundle-cxxopts.patch
# Fedora-specific patch:
# When invoking yosys-config for examples in "make manual", need to use
# relative path for includes, as they're not installed in build host
# filesystem.
Patch2: yosys-mancfginc.patch
BuildRequires: make
BuildRequires: cmake
BuildRequires: gcc-c++
BuildRequires: cxxopts-devel
BuildRequires: bison flex readline-devel pkgconfig
BuildRequires: tcl-devel libffi-devel
BuildRequires: abc >= 1.01-9
BuildRequires: iverilog
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
BuildRequires: gtkwave
BuildRequires: gtest-devel
BuildRequires: gmock-devel
# required for documentation:
BuildRequires: graphviz
BuildRequires: texlive-beamer
BuildRequires: texlive-collection-bibtexextra
BuildRequires: texlive-collection-fontsextra
BuildRequires: texlive-collection-latexextra
BuildRequires: texlive-collection-publishers
BuildRequires: texlive-collection-science
BuildRequires: graphviz
BuildRequires: latexmk
BuildRequires: libfaketime
BuildRequires: pdf2svg
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
BuildRequires: rsync
Requires: %{name}-share = %{version}-%{release}
Requires: graphviz python-xdot
Requires: abc >= 1.01-9
Requires: graphviz python-click python-xdot
Requires: yosyshq-abc >= 0.67
# https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval :
ExcludeArch: %{ix86}
# abc use broken on all Big Endian CPUs, specifically s390x (see BZ 1937362, 1937395):
ExcludeArch: s390x
@ -87,10 +94,7 @@ Development files to build Yosys synthesizer plugins.
%prep
%setup -q -n %{name}-%{commit0}
%patch1 -p1 -b .cfginc
%patch2 -p1 -b .mancfginc
%autosetup -p1 -n %{name}-%{commit0}
# Ensure that Makefile doesn't wget viz.js
cp %{SOURCE1} .
@ -106,29 +110,24 @@ do
mv $f.new $f
done
make config-gcc
# Change manual source files to use libertine font rather than non-free luximono
for f in `find manual -name \*.tex -exec grep -l {luximono} {} \;`
do
sed -i 's|{luximono}|{libertine}|' $f
done
%build
# disable LTO to allow building for f33 rawhide (BZ 1865657):
%define _lto_cflags %{nil}
%set_build_flags
make %{?_smp_mflags} PREFIX="%{_prefix}" ABCEXTERNAL=%{_bindir}/abc PRETTY=0 all
# 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_WITHOUT_SLANG=ON
%cmake_build
#manual
touch manual/empty.pdf
# 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
%global man_date "`stat -c %y debian/man/yosys-smtbmc.txt | awk '{ print $1 }'`"
txt2man -d %{man_date} -t YOSYS-SMTBMC debian/man/yosys-smtbmc.txt >yosys-smtbmc.1
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}
@ -140,10 +139,12 @@ install -m 0644 yosys-smtbmc.1 debian/yosys{,-config,-filterlib}.1 %{buildroot}%
# install documentation
install -d -m0755 %{buildroot}%{_docdir}/%{name}
install -m 0644 manual/*.pdf %{buildroot}%{_docdir}/%{name}
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
@ -172,6 +173,181 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
%changelog
* Fri Jul 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.67-3.20260713git22c15a7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Mon Jul 13 2026 Gabriel Somlo <gsomlo@gmail.com> - 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 <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
* Tue May 12 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.65.1.20260512git90c26fe
- update to 0.65 snapshot
* Wed Mar 04 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.63.1.20260304git3bc26ff
- update to 0.63 snapshot
* Thu Feb 05 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.62.1.20260205git1717fa0
- update to 0.62 snapshot
* Thu Jan 15 2026 Gabriel Somlo <gsomlo@gmail.com> - 0.61.1.20260115git967b47d
- update to 0.61 snapshot
* Fri Dec 05 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.60.1.20251205git0e31e38
- update to 0.60 snapshot
* Tue Nov 11 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.59.1.20251111git529886f
- update to 0.59 snapshot
* Fri Oct 10 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.58.1.20251010git9a12d92
- update to 0.58 snapshot
* Fri Sep 19 2025 Python Maint <python-maint@redhat.com> - 0.57-2.20250904gitcec48c6
- Rebuilt for Python 3.14.0rc3 bytecode
* 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
* Sun Aug 10 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.56.1.20250810git8c71226
- update to 0.56 snapshot
* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.55-2.20250707git60f126c
- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Mon Jul 07 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.55.1.20250707git60f126c
- update to 0.55 snapshot
* Tue Jun 10 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.54.1.20250610gite0747b7
- update to 0.54 snapshot
* Tue May 06 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.53.1.20250506git53c22ab
- update to 0.53 snapshot
* Fri Apr 11 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.52.1.20250411gitfee39a3
- update to 0.52 snapshot
- update man pages from Debian
* Wed Mar 26 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.51.2.20250313gitc4b5190
- pick earliest 0.51 snapshot, buy time to fix subsequent upstream regression
* Thu Mar 13 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.51.1.20250313gite44d1d4
- update to 0.51 snapshot
* Tue Feb 11 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.50.1.20250211git6f9c515
- update to 0.50 snapshot
* Tue Jan 21 2025 Gabriel Somlo <gsomlo@gmail.com> - 0.49.1.20250121gite456f2e
- update to 0.49 snapshot (incl. fix for tcl 9.0, see BZ 2337817)
* Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.48- 0.20241211gite91e95f.1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Wed Dec 11 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.48.0.20241211gite91e95f
- remove doc-offline patch (solved by setting SPHINXOPTS='' instead)
- update to 0.48 snapshot
* Sun Nov 10 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.47.1.20241110gitf20f913
- switch primary source & patches to autosetup
- update to 0.47 snapshot
* Thu Oct 24 2024 Zbigniew Jedrzejewski-Szmek <zbyszek@in.waw.pl> - 0.46-4.20241011gita00137c
- Call %%py_byte_compile and apply patch to fix build reproducibility
* Wed Oct 23 2024 Zbigniew Jedrzejewski-Szmek <zbyszek@in.waw.pl> - 0.46-3.20241011gita00137c
- Rebuild for rust-add-determinism-0.4.3-1.fc42
* Mon Oct 14 2024 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 0.46-2.20241011gita00137c
- Rebuild for rust-add-determinism-0.4.0-2.fc42
* Fri Oct 11 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.46.1.20241011gita00137c
- update to 0.46 snapshot
* Thu Sep 05 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.45.1.20240905gite8951ab
- update to 0.45 snapshot
- add patch to remove badge image network download during doc build
* Thu Aug 08 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.44.1.20240808git77b2ae2
- update to 0.44 snapshot
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.43-2.20240716git49f5477
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.43.1.20240716git49f5477
- update to 0.43 snapshot
* Mon Jun 10 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.42.1.20240610git960d8e3
- update to 0.42 snapshot
* Fri May 24 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.41.1.20240524git56c8439
- update to 0.41 snapshot
- update man pages from Debian (thanks Mary Guillemard <mary@mary.zone>)
* Thu Apr 11 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.40.1.20240411git47bdb3e
- update to 0.40 snapshot
- update documentation build process
* Thu Mar 14 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.39.1.20240314gitb3124f3
- update to 0.39 snapshot
* Sat Feb 10 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.38.1.20240210gitac0fb2e
- update to 0.38 snapshot
* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.37-2.20240117git6a7fad4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Wed Jan 17 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.37.1.20240117git6a7fad4
- update to 0.37 snapshot
* Mon Dec 18 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.36.1.20231218gitd87bd7c
- update to 0.36 snapshot
* Wed Nov 08 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.35.1.20231108git5691cd0
- update to 0.35 snapshot
* Fri Oct 06 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.34.1.20231006git8367f06
- update to 0.34 snapshot
* Tue Sep 12 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.33.1.20230905git05f0262
- update to 0.33 snapshot
* Wed Aug 09 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.32.1.20230809git389b8d0
- update to 0.32 snapshot
- switch abc [build]requires to yosyshq-abc
* Wed Aug 02 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.31.2.20230729gitb04d0e0
- drop i686 (https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval)
* Sat Jul 29 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.31.1.20230729gitb04d0e0
- update to 0.31 snapshot
* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.30-2.20230607git5813809
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jun 07 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.30.1.20230607git5813809
- update to 0.30 snapshot
* Thu May 11 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.29.1.20230511gitd82bae3
- update to 0.29 snapshot
* Sun Apr 23 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.28.1.20230423git51dd029
- update to 0.28 snapshot
* Tue Mar 07 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.27.1.20230307gitb58664d
- update to 0.27 snapshot
* Wed Feb 15 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.26.1.20230215git1c667fa
- update to 0.26 snapshot
* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.25-2.20230104git7bac192
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild