diff --git a/.forgejo/workflows/test.yml b/.forgejo/workflows/test.yml index da9376e..b97b9de 100644 --- a/.forgejo/workflows/test.yml +++ b/.forgejo/workflows/test.yml @@ -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: |