diff --git a/yosys.spec b/yosys.spec index 685714c..5ad71bc 100644 --- a/yosys.spec +++ b/yosys.spec @@ -7,7 +7,7 @@ Name: yosys Version: 0.9 -Release: 15.%{snapdate}git%{shortcommit0}%{?dist} +Release: 16.%{snapdate}git%{shortcommit0}%{?dist} Summary: Yosys Open SYnthesis Suite, including Verilog synthesizer License: ISC and MIT URL: http://www.clifford.at/yosys/ @@ -119,8 +119,7 @@ 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 -make -j1 PREFIX="%{_prefix}" ABCEXTERNAL=%{_bindir}/abc PRETTY=0 manual +make %{?_smp_mflags} PREFIX="%{_prefix}" ABCEXTERNAL=%{_bindir}/abc PRETTY=0 all manual %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 @@ -170,6 +169,9 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359 %changelog +* Sun Sep 05 2021 Gabriel Somlo - 0.9.16.20210904git50be8fd +- undo 'single thread to avoid race condition while building pdf doc' + * Sun Sep 05 2021 Gabriel Somlo - 0.9.15.20210904git50be8fd - use single thread to avoid race condition in pdf doc build