mirror of
https://github.com/YosysHQ/sby.git
synced 2025-04-07 14:45:18 +00:00
Add missing prerequisites to quickstart guide
This commit is contained in:
parent
78efd64985
commit
db9c7e97b8
|
@ -21,7 +21,9 @@ Installing prerequisites (this command is for Ubuntu 16.04):
|
||||||
|
|
||||||
sudo apt-get install build-essential clang bison flex libreadline-dev \
|
sudo apt-get install build-essential clang bison flex libreadline-dev \
|
||||||
gawk tcl-dev libffi-dev git mercurial graphviz \
|
gawk tcl-dev libffi-dev git mercurial graphviz \
|
||||||
xdot pkg-config python python3 libftdi-dev gperf
|
xdot pkg-config python python3 libftdi-dev gperf \
|
||||||
|
libboost-program-options-dev autoconf libgmp-dev \
|
||||||
|
cmake
|
||||||
|
|
||||||
Yosys, Yosys-SMTBMC and ABC
|
Yosys, Yosys-SMTBMC and ABC
|
||||||
~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||||
|
|
Loading…
Reference in a new issue