Compare commits
8 commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
87a8c38037 | ||
|
|
0c44b290dd | ||
|
|
0a125fc493 | ||
|
|
0ac9fe21d1 | ||
|
|
7bcebfd3b8 | ||
|
|
8504428d84 | ||
|
|
94e9e51892 | ||
|
|
001e8e8b99 |
5 changed files with 61 additions and 25 deletions
8
.gitignore
vendored
8
.gitignore
vendored
|
|
@ -18,3 +18,11 @@
|
|||
/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
|
||||
|
|
|
|||
2
sources
2
sources
|
|
@ -1,2 +1,2 @@
|
|||
SHA512 (yosys-086c2f3.tar.gz) = 719741bb068b3c3c0b74c453ee27b455c3be990489b46405d1083767b450011a270f1d478fa9f7b8ec1f5b902e0ed1a847211ba1a82e73b87dab2c6f2dafe6bd
|
||||
SHA512 (yosys-b58664d.tar.gz) = 7603ff816dedf45b5f29c696a2971aa7529f5e5b733310a4a73af7495d841f1628b1ad3eab4347baefe0b37db36f16640428b91daeff0163ede0a8c1c7349c1a
|
||||
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
36
yosys.spec
36
yosys.spec
|
|
@ -1,13 +1,13 @@
|
|||
%global commit0 086c2f322479a71f24a9b28bbdc258c895a98b5b
|
||||
%global commit0 b58664d441764b4de1d01c4efcdd45094ba71535
|
||||
%global shortcommit0 %%(c=%%{commit0}; echo ${c:0:7})
|
||||
|
||||
%global snapdate 20220705
|
||||
%global snapdate 20230307
|
||||
|
||||
%global __python %{__python3}
|
||||
|
||||
Name: yosys
|
||||
Version: 0.19
|
||||
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,33 @@ 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
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue