add yosys deps
Some checks failed
/ test (push) Has been cancelled

This commit is contained in:
Jacob Lifshay 2024-10-03 00:44:04 -07:00
parent 4497f09ea0
commit eb65bec26e
Signed by: programmerjake
SSH key fingerprint: SHA256:B1iRVvUJkvd7upMIiMqn6OyxvD2SgJkAH3ZnUOj6z+c

View file

@ -13,7 +13,10 @@ jobs:
scripts/check-copyright.sh
- run: |
apt-get update -qq
apt-get install -qq cvc5 z3
apt-get install -qq cvc5 z3 build-essential clang lld bison flex \
libreadline-dev gawk tcl-dev libffi-dev git \
graphviz xdot pkg-config python3 libboost-system-dev \
libboost-python-dev libboost-filesystem-dev zlib1g-dev
- run: |
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain 1.80.1
source "$HOME/.cargo/env"
@ -22,7 +25,7 @@ jobs:
git clone --depth=1 --branch=yosys-0.45 https://github.com/YosysHQ/sby.git
make -C sby install
- run: |
git clone --depth=1 --branch=0.45 https://github.com/YosysHQ/yosys.git
git clone --depth=1 --recursive --branch=0.45 https://github.com/YosysHQ/yosys.git
cd yosys
make install -j6
- run: |