From 1c63a441a9ca35edfaec23fee0de21b6d48f4c10 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 3 Oct 2024 00:27:28 -0700
Subject: [PATCH] add needed tools to CI

---
 .forgejo/workflows/test.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/.forgejo/workflows/test.yml b/.forgejo/workflows/test.yml
index 6e82abf..762c1f8 100644
--- a/.forgejo/workflows/test.yml
+++ b/.forgejo/workflows/test.yml
@@ -11,10 +11,28 @@ jobs:
           fetch-depth: 0
       - run: |
           scripts/check-copyright.sh
+      - run: |
+          apt-get update -qq
+          apt-get install -qq cvc5 z3
       - run: |
           curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain 1.80.1
           source "$HOME/.cargo/env"
           echo "$PATH" >> "$GITHUB_PATH"
+      - run: |
+          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
+          cd yosys
+          autoconf -f
+          ./configure
+          make install -j6
+      - run: |
+          wget -O firrtl.tar.gz https://github.com/llvm/circt/releases/download/firtool-1.86.0/firrtl-bin-linux-x64.tar.gz
+          sha256sum -c - <<<'bf6f4ab18ae76f135c944efbd81e25391c31c1bd0617c58ab0592640abefee14  firrtl.tar.gz'
+          tar -xvaf firrtl.tar.gz
+          export PATH="$(realpath firtool-1.86.0/bin):$PATH"
+          echo "$PATH" >> "$GITHUB_PATH"
       - uses: https://github.com/Swatinem/rust-cache@v2
         with:
           save-if: ${{ github.ref == 'refs/heads/master' }}