| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
| |
This commit adds a basic implementation that isn't very performant
but implements most of the planned features.
|
|
|
|
|
| |
If this is not present in the install, #include-ing most yosys
headers will fail in rtlil.h:380.
|
|\
| |
| | |
Enable ENABLE_LIBYOSYS when ENABLE_PYOSYS is set (closes #1813)
|
| | |
|
|/
|
|
| |
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
| |
|
|
|
|
|
|
|
|
|
|
| |
`rev-parse --short` output may have a different abbreviated hash length than
ABCREV, so a simple string comparison always fails, even if the correct
commit is checked out. Pass both commits through rev-parse and then
compare the full hashes instead.
Add an `echo-abc-rev` target so that packaging scripts can set ABCPULL=0 and
handle all the git nastiness themselves.
|
| |
|
|
|
|
| |
This reverts commit 2a746234fec2f6d14e9bfa40fd7f3478cdd539ea.
|
|
|
|
| |
This reverts commit 90404e1969443a1b8a767ab8f3dc311709c5fe9d.
|
|\
| |
| | |
Makefile improvements for packaging scripts
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
`rev-parse --short` output may have a different abbreviated hash length than
ABCREV, so a simple string comparison always fails, even if the correct
commit is checked out. Pass both commits through rev-parse and then
compare the full hashes instead.
Add an `echo-abc-rev` target so that packaging scripts can set ABCPULL=0 and
handle all the git nastiness themselves.
|
| |
| |
| |
| |
| |
| | |
- libyosys.so is now only installed to LIBDIR instead of LIBDIR, BINDIR
and PYTHON_DESTDIR
- replace mkdir/cp for single files with `install`
|
| | |
|
| | |
|
| | |
|
| | |
|
|/
|
|
| |
Signed-off-by: Rodrigo Alejandro Melo <rodrigomelo9@gmail.com>
|
|\ |
|
| |
| |
| |
| | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
|/ |
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The behaviour of python-config --libs has changed in Python 3.8.
For example, compare the output of it with Python 3.7 and 3.8 on an
ArchLinux system:
$ python3.7-config --libs
-lpython3.7m -lcrypt -lpthread -ldl -lutil -lm
$ python3.8-config --libs
-lcrypt -lpthread -ldl -lutil -lm -lm
$
The lack of -lpython in the latter case causes the linker to fail when
attempting to build Yosys against Python 3.8.
Passing the new --embed flag to python-config adds -lpython, just like
earlier versions of Python:
$ python3.8-config --embed --libs
-lpython3.8 -lcrypt -lpthread -ldl -lutil -lm -lm
$
This commit adds code for automatically detecting support for the
--embed flag. If it is supported, it is passed to all python-config
invocations. This fixes building against Python 3.8.
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
On some architectures, notably on Windows, the official name for the
Python binary from python.org is `python`. The build system assumes
that python is called `python3`, which breaks under this architecture.
There is already infrastructure in place to determine the name of the
Python binary when building PYOSYS. Since Python is now always required
to build Yosys, enable this check universally which sets the
`PYTHON_EXECUTABLE` variable.
Then, reuse this variable in other Makefiles as necessary, rather than
hardcoding `python3` everywhere.
Signed-off-by: Sean Cross <sean@xobs.io>
|
| |
|
|\ |
|
| |\ |
|
| | |\ |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | |\
| | | | |
| | | | |
| | | | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | | |
| | | | |
| | | | |
| | | | | |
Signed-off-by: David Shah <dave@ds0.me>
|
| | |\ \ \
| | | |_|/
| | |/| |
| | | | | |
into eddie/pr1352
|
| | | | | |
|
| |\ \ \ \
| | |_|_|/
| |/| | |
| | | | | |
https://github.com/SergeyDegtyar/yosys into mmicko/anlogic
|
| | |\| | |
|
| | | |/
| | |/|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Problems/questions:
- memory.ys: ERROR: Failed to import cell gate.mem.0.0.0 (type
EG_LOGIC_DRAM16X4) to SAT database.
Why EG_LOGIC_DRAM16X4, not AL_LOGIC_BRAM?
- Internal cell type $_TBUF_ is present.
|
|\ \ \ \
| |/ / /
|/| | |
| | | | |
https://github.com/SergeyDegtyar/yosys into mmicko/efinix
|
| |\ \ \
| | | |/
| | |/| |
|
| | |/
| |/|
| | |
| | |
| | |
| | |
| | | |
Problems/questions:
- fsm.ys. equiv_opt -assert failed because of unproven cells;
- latches.ys,tribuf.ys - internal cells present;
- memory.ys - sat called with -verify and proof did fail.
|
| | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| |/
|/|
| |
| | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
|\ \
| | |
| | | |
rpc: new frontend
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
A new pass, connect_rpc, allows any HDL frontend that can read/write
JSON from/to stdin/stdout or an unix socket or a named pipe to
participate in elaboration as a first class citizen, such that any
other HDL supported by Yosys directly or indirectly can transparently
instantiate modules handled by this frontend.
Recognizing that many HDL frontends emit Verilog, it allows the RPC
frontend to direct Yosys to process the result of instantiation via
any built-in Yosys frontend. The resulting RTLIL is then hygienically
integrated into the overall design.
|
| | |
| | |
| | |
| | |
| | | |
This commit imports the code from upstream commit
dropbox/json11@8ccf1f0c5ecab6151a65f216e7eeccd8588e5457.
|
|/ /
| |
| |
| | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|