update to 0.27 snapshot

.gitignore

@@ -12,3 +12,17 @@
 /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
+/yosys-b15a46c.tar.gz
+/yosys-086c2f3.tar.gz
+/yosys-029c278.tar.gz
+/yosys-d98738d.tar.gz
+/yosys-c4a52b1.tar.gz
+/yosys-c75f12a.tar.gz
+/yosys-7ad7b55.tar.gz
+/yosys-7bac192.tar.gz
+/yosys-1c667fa.tar.gz
+/yosys-b58664d.tar.gz

sources

@@ -1,2 +1,2 @@
-SHA512 (yosys-0e97c3f.tar.gz) = e63c3c58f6851e494a6f8df0cb7a9ca1fc7f286d25fd14291235988b923d59650f86a4141ea41ba218276754caa9f83a9373898aa370e91ac30bc325de53f9e6
+SHA512 (yosys-b58664d.tar.gz) = 7603ff816dedf45b5f29c696a2971aa7529f5e5b733310a4a73af7495d841f1628b1ad3eab4347baefe0b37db36f16640428b91daeff0163ede0a8c1c7349c1a
 SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc

yosys-cfginc.patch

@@ -1,18 +1,18 @@
 diff --git a/Makefile b/Makefile
-index cd617987..9c13548a 100644
+index b282dc6c6..8f02329bc 100644
 --- a/Makefile
 +++ b/Makefile
-@@ -702,7 +702,7 @@ LDLIBS_NOVERIFIC = $(LDLIBS)
+@@ -790,7 +790,7 @@ LDLIBS_NOVERIFIC = $(LDLIBS)
  endif
  
  $(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in
--	$(P) $(SED) -e 's#@CXXFLAGS@#$(subst -I. -I"$(YOSYS_SRC)",-I"$(DATDIR)/include",$(strip $(CXXFLAGS_NOVERIFIC)))#;' \
-+	$(P) $(SED) -e 's#@CXXFLAGS@#$(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))#;' \
+-	$(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 2880c8c0..a32f11a1 100644
+index 2880c8c06..a32f11a13 100644
 --- a/tests/various/plugin.sh
 +++ b/tests/various/plugin.sh
 @@ -3,6 +3,6 @@ rm -f plugin.so

yosys-mancfginc.patch

@@ -1,18 +1,18 @@
-diff --git a/manual/CHAPTER_Prog/Makefile b/manual/CHAPTER_Prog/Makefile
-index 8e326bdc..5c15c6bb 100644
---- a/manual/CHAPTER_Prog/Makefile
-+++ b/manual/CHAPTER_Prog/Makefile
-@@ -5,7 +5,7 @@ test: stubnets.so
- 	tail test1.log test2.log test3.log
+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}
  
- stubnets.so: stubnets.cc
--	yosys-config --exec --cxx --cxxflags --ldflags -o $@ -shared $^ --ldlibs
-+	yosys-config --exec --cxx --cxxflags -I../.. --ldflags -o $@ -shared $^ --ldlibs
- 
- clean:
- 	rm -f test1.log test2.log test3.log
 diff --git a/manual/PRESENTATION_Prog/Makefile b/manual/PRESENTATION_Prog/Makefile
-index 7e3cf814..226b023d 100644
+index 2ac8e5bed..64ed1c583 100644
 --- a/manual/PRESENTATION_Prog/Makefile
 +++ b/manual/PRESENTATION_Prog/Makefile
 @@ -5,7 +5,7 @@ CXXFLAGS=$(shell ../../yosys-config --cxxflags)
@@ -20,7 +20,7 @@ index 7e3cf814..226b023d 100644
  
  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
++	../../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

yosys.spec

@@ -1,13 +1,13 @@
-%global commit0 0e97c3fd740b2f2d137d4db7e9a89cf29c66ddb7
+%global commit0 b58664d441764b4de1d01c4efcdd45094ba71535
 %global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7})
 
-%global snapdate 20220127
+%global snapdate 20230307
 
 %global __python %{__python3}
 
 Name:           yosys
-Version:        0.13
-Release:        2.%{snapdate}git%{shortcommit0}%{?dist}
+Version:        0.27
+Release:        1.%{snapdate}git%{shortcommit0}%{?dist}
 Summary:        Yosys Open SYnthesis Suite, including Verilog synthesizer
 License:        ISC and MIT
 URL:            http://www.clifford.at/yosys/
@@ -154,6 +154,7 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
 %{_bindir}/%{name}
 %{_bindir}/%{name}-filterlib
 %{_bindir}/%{name}-smtbmc
+%{_bindir}/%{name}-witness
 %{_mandir}/man1/%{name}.1*
 %{_mandir}/man1/%{name}-filterlib.1*
 %{_mandir}/man1/%{name}-smtbmc.1*
@@ -171,6 +172,54 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
 
 
 %changelog
+* 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
+
+* Wed Jan 04 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.25.1.20230104git7bac192
+- update to 0.25 snapshot
+
+* Fri Dec 09 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.24.1.20221209git7ad7b55
+- update to 0.24 snapshot
+
+* Wed Nov 09 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.23.1.20221109gitc75f12a
+- update to 0.23 snapshot
+
+* Thu Oct 06 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.22.1.20221006gitc4a52b1
+- update to 0.22 snapshot
+
+* Mon Sep 12 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.21.1.20220921gitd98738d
+- update to 0.21 snapshot
+
+* Sun Aug 21 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.20.1.20220821git029c278
+- update to 0.20 snapshot
+
+* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.19-2.20220705git086c2f3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
+
+* Tue Jul 05 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.19.1.20220705git086c2f3
+- update to 0.19 snapshot
+
+* Sat Jun 11 2022 Gabriel Somlo <gsomlo@gmail.com> - 0.18.1.20220611gitb15a46c
+- update to 0.18 snapshot
+
+* 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)