Compare commits
15 commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
be3149c520 | ||
|
|
2d52551b9d | ||
|
|
f70bdf9f88 | ||
|
|
f9ac3357b3 | ||
|
|
6e2454d36f | ||
|
|
4cbde7dd45 | ||
|
|
6884e22177 | ||
|
|
c9571ebdd1 | ||
|
|
561e30a949 | ||
|
|
e0304e1674 | ||
|
|
41039e4db6 | ||
|
|
97aa62230e | ||
|
|
2345bd12ee | ||
|
|
88354bfc34 | ||
|
|
100c32ca1a |
6 changed files with 99 additions and 22 deletions
18
.gitignore
vendored
18
.gitignore
vendored
|
|
@ -48,3 +48,21 @@
|
|||
/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
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
From d64d5ee0b2da99bd7fd0b0a8c77657153d17d591 Mon Sep 17 00:00:00 2001
|
||||
From 6407842130dd6430c9e754e6551d6c41ba7c495c 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,10 +12,10 @@ CXXFLAGS with -I/usr/include/yosys
|
|||
2 files changed, 2 insertions(+), 2 deletions(-)
|
||||
|
||||
diff --git a/Makefile b/Makefile
|
||||
index 35561acd8..4992db1c8 100644
|
||||
index 507c74a63..1ec01d2e8 100644
|
||||
--- a/Makefile
|
||||
+++ b/Makefile
|
||||
@@ -758,7 +758,7 @@ LIBS_NOVERIFIC = $(LIBS)
|
||||
@@ -840,7 +840,7 @@ LIBS_NOVERIFIC = $(LIBS)
|
||||
endif
|
||||
|
||||
$(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in $(YOSYS_SRC)/Makefile
|
||||
|
|
@ -25,10 +25,10 @@ index 35561acd8..4992db1c8 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.47.1
|
||||
2.52.0
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
From cb74edb7faf92638dc6693fbd912217e8afd860c Mon Sep 17 00:00:00 2001
|
||||
From ee84a2a0ed040405b85913018f5be232a3744a21 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
|
||||
|
|
@ -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 36ddbe175..2ff77f6a1 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 @@
|
||||
|
|
@ -68,5 +68,5 @@ index 566d24b18..b09bc567c 100644
|
|||
#include <string>
|
||||
#include <map>
|
||||
--
|
||||
2.47.1
|
||||
2.52.0
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
From 744c4392b0939c313890efdb2f81da7119b14c22 Mon Sep 17 00:00:00 2001
|
||||
From 793a337eacce0f5d51d470f0dcd196808541c9d6 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
|
||||
|
|
@ -11,18 +11,18 @@ referencing the cxxopts.hpp include file.
|
|||
1 file changed, 1 insertion(+), 1 deletion(-)
|
||||
|
||||
diff --git a/kernel/driver.cc b/kernel/driver.cc
|
||||
index a3d85bd90..9a67bc24e 100644
|
||||
index fa78bad59..ea1c01f87 100644
|
||||
--- a/kernel/driver.cc
|
||||
+++ b/kernel/driver.cc
|
||||
@@ -20,7 +20,7 @@
|
||||
#include "kernel/yosys.h"
|
||||
@@ -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>
|
||||
|
||||
#ifdef YOSYS_ENABLE_READLINE
|
||||
--
|
||||
2.47.1
|
||||
2.52.0
|
||||
|
||||
|
|
|
|||
4
sources
4
sources
|
|
@ -1,2 +1,2 @@
|
|||
SHA512 (yosys-e456f2e.tar.gz) = 04fcf271714216da06f66688a65524448015689ea4e39a81126adb728779b626c34c501b326b9e4c76d818b1b6e5dcacfadb8b0d68162bede74ad0054377045d
|
||||
SHA512 (yosys_0.33-5.debian.tar.xz) = fddf17cd93f2dbe0e8dc0cce6bebbe9ceb3145b3c0aa339b60de7039c576c1d3366b7238801028136f9d7f07b8d9d60085cea7dc94a0fa36392f0f4207319ae4
|
||||
SHA512 (yosys-3bc26ff.tar.gz) = 45bd87d1789d9f0efedc43f480aef6c672a39dd43c3edfdce3f2f2f8191eb6c8f8210208b3853c3df4b15bc8627509f5c827bc6974dd1378c5b5d1b23101e935
|
||||
SHA512 (yosys_0.52-2.debian.tar.xz) = 9ceba3ae42b16a0b8b7f7c6e8248e6b50fb411ccb755948e184c70aafbcbd1121b011338be29c3abf6f473b23c904f2058f7ca36bfea8562e05e10f5cc24ffdf
|
||||
|
|
|
|||
70
yosys.spec
70
yosys.spec
|
|
@ -1,10 +1,10 @@
|
|||
%global commit0 e456f2e9724394fc34c899d59a1cb0ee578e96b3
|
||||
%global commit0 3bc26ff4d055adfbba8b424508ab4a36405ffc0b
|
||||
%global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7})
|
||||
|
||||
%global snapdate 20250121
|
||||
%global snapdate 20260304
|
||||
|
||||
Name: yosys
|
||||
Version: 0.49
|
||||
Version: 0.63
|
||||
Release: 1.%{snapdate}git%{shortcommit0}%{?dist}
|
||||
Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer
|
||||
License: ISC and MIT
|
||||
|
|
@ -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.33-5.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,12 +39,13 @@ BuildRequires: gcc-c++
|
|||
BuildRequires: cxxopts-devel
|
||||
BuildRequires: bison flex readline-devel pkgconfig
|
||||
BuildRequires: tcl-devel libffi-devel
|
||||
BuildRequires: yosyshq-abc >= 0.46
|
||||
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
|
||||
|
|
@ -55,6 +56,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
|
||||
|
|
@ -62,7 +64,7 @@ BuildRequires: rsync
|
|||
|
||||
Requires: %{name}-share = %{version}-%{release}
|
||||
Requires: graphviz python-click python-xdot
|
||||
Requires: yosyshq-abc >= 0.46
|
||||
Requires: yosyshq-abc >= 0.63
|
||||
|
||||
# https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval :
|
||||
ExcludeArch: %{ix86}
|
||||
|
|
@ -173,6 +175,62 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
|
|||
|
||||
|
||||
%changelog
|
||||
* 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)
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue