Compare commits
12 commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
7790e5004d | ||
|
|
57af8039d8 | ||
|
|
c7c3cc0b39 | ||
|
|
4ff3e37c17 | ||
|
|
480b6e448e | ||
|
|
a4baf06d20 | ||
|
|
23e149c6d4 | ||
|
|
9e92ffeac6 | ||
|
|
366bcd369f | ||
|
|
ed2f40a7f9 | ||
|
|
0b7e8b4ae8 | ||
|
|
bc75dc3b84 |
3 changed files with 62 additions and 6 deletions
10
.gitignore
vendored
10
.gitignore
vendored
|
|
@ -6,3 +6,13 @@
|
|||
/yosys-9cdc6b5.tar.gz
|
||||
/yosys-26e01a6.tar.gz
|
||||
/yosys-df2b79c.tar.gz
|
||||
/yosys-50be8fd.tar.gz
|
||||
/yosys-62739f7.tar.gz
|
||||
/yosys-9a41380.tar.gz
|
||||
/yosys-cdb5711.tar.gz
|
||||
/yosys-84f0df1.tar.gz
|
||||
/yosys-0e97c3f.tar.gz
|
||||
/yosys-a41c1df.tar.gz
|
||||
/yosys-c312402.tar.gz
|
||||
/yosys-4da3f28.tar.gz
|
||||
/yosys-587e09d.tar.gz
|
||||
|
|
|
|||
2
sources
2
sources
|
|
@ -1,2 +1,2 @@
|
|||
SHA512 (yosys-df2b79c.tar.gz) = 02f0774ec0e3a0a83f8679c61ba138386254c109988392519d9b6ca354da6fa0702be625e764cad320b4dd0966b4ec8a2f5aa59b9720bb5a620d3678fecc0d8b
|
||||
SHA512 (yosys-587e09d.tar.gz) = 5cafa2dab54a93a2142f632c84900eee48049405bdbd04f09cd21ff580cd1070173906c40b37f56257535ec3b09935ed81f0783b45b72153f5179fc001d0a1a0
|
||||
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc
|
||||
|
|
|
|||
56
yosys.spec
56
yosys.spec
|
|
@ -1,13 +1,13 @@
|
|||
%global commit0 df2b79ca7687ae46360084f2e3ef27222bb3a640
|
||||
%global commit0 587e09d551d753d6c9a3ca3635e2c7f66e978024
|
||||
%global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7})
|
||||
|
||||
%global snapdate 20210523
|
||||
%global snapdate 20220509
|
||||
|
||||
%global __python %{__python3}
|
||||
|
||||
Name: yosys
|
||||
Version: 0.9
|
||||
Release: 13.%{snapdate}git%{shortcommit0}%{?dist}
|
||||
Version: 0.17
|
||||
Release: 1.%{snapdate}git%{shortcommit0}%{?dist}
|
||||
Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer
|
||||
License: ISC and MIT
|
||||
URL: http://www.clifford.at/yosys/
|
||||
|
|
@ -119,7 +119,9 @@ done
|
|||
# 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 manual
|
||||
make %{?_smp_mflags} PREFIX="%{_prefix}" ABCEXTERNAL=%{_bindir}/abc PRETTY=0 all
|
||||
#manual
|
||||
touch manual/empty.pdf
|
||||
|
||||
%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
|
||||
|
|
@ -169,6 +171,50 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
|
|||
|
||||
|
||||
%changelog
|
||||
* Mon May 09 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.17.1.20220509git587e09d
|
||||
- update to 0.17 snapshot
|
||||
|
||||
* Thu Apr 07 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.16.1.20220407git4da3f28
|
||||
- update to 0.16 snapshot
|
||||
|
||||
* Fri Mar 04 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.15.1.20220304gitc312402
|
||||
- update to 0.15 snapshot
|
||||
|
||||
* Tue Feb 22 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.14.1.20220222gita41c1df
|
||||
- update to 0.14 snapshot
|
||||
|
||||
* Thu Jan 27 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.13.2.20220127git0e97c3f
|
||||
- update to newer 0.13 snapshot
|
||||
- remove pdf manual patch (issue fixed upstream)
|
||||
|
||||
* Thu Jan 27 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.13.1.20220127git84f0df1
|
||||
- update to 0.13 snapshot (#2039600, #2047137)
|
||||
- patch to restore ability to build the .pdf manual (upstream PR #3156)
|
||||
|
||||
* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.12- 3.20211209gitcdb5711
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||
|
||||
* Sat Jan 08 2022 Miro Hrončok <mhroncok@redhat.com> - 0.12-2.20211209gitcdb5711
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
|
||||
|
||||
* Thu Dec 09 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.12.1.20211209gitcdb5711
|
||||
- update to 0.12 snapshot (#2028824)
|
||||
|
||||
* Sat Nov 06 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.11.1.20211106git9a41380
|
||||
- update snapshot
|
||||
|
||||
* Tue Sep 28 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.10.1.20210928git62739f7
|
||||
- update snapshot
|
||||
|
||||
* Sun Sep 05 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.9.16.20210904git50be8fd
|
||||
- undo 'single thread to avoid race condition while building pdf doc'
|
||||
|
||||
* Sun Sep 05 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.9.15.20210904git50be8fd
|
||||
- use single thread to avoid race condition in pdf doc build
|
||||
|
||||
* Sat Sep 04 2021 Gabriel Somlo <gsomlo@gmail.com> - 0.9.14.20210904git50be8fd
|
||||
- update snapshot
|
||||
|
||||
* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-13.20210523gitdf2b79c
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue