# SPDX-License-Identifier: LGPL-3.0-or-later
# See Notices.txt for copyright information
on: [push, pull_request]

jobs:
  test:
    runs-on: debian-12
    steps:
      - uses: https://code.forgejo.org/actions/checkout@v3
        with:
          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' }}
      - run: cargo test
      - run: cargo test --features=unstable-doc
      - run: cargo doc --features=unstable-doc