From eb65bec26ef2b8d511c0de9641bf1d323d9267e2 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Thu, 3 Oct 2024 00:44:04 -0700 Subject: [PATCH] add yosys deps --- .forgejo/workflows/test.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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: |