diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e70bb2c7..3ecdbb04 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -27,7 +27,7 @@ jobs: cache: runs-on: self-hosted - timeout-minutes: 20 + timeout-minutes: 30 if: ${{ !cancelled() }} steps: @@ -38,6 +38,8 @@ jobs: run: make sim-test - name: run fpga test run: make fpga-test + - name: run synthesis test (yosys) + run: make syn-test reuse: runs-on: self-hosted diff --git a/Makefile b/Makefile index a7e8d02b..8204d388 100644 --- a/Makefile +++ b/Makefile @@ -62,6 +62,14 @@ fpga-test: make fpga-build BE_IF=IOb make fpga-build BE_IF=AXI4 + +syn-build: clean setup + nix-shell --run "make -C $(BUILD_DIR) syn-build" + +syn-test: + make syn-build BE_IF=IOb + make syn-build BE_IF=AXI4 + doc-build: clean setup nix-shell --run "make -C $(BUILD_DIR) doc-build DOC=$(DOC)" diff --git a/default.nix b/default.nix index aedf9f3e..355014de 100644 --- a/default.nix +++ b/default.nix @@ -5,8 +5,8 @@ { pkgs ? import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/25.05.tar.gz") {} }: let - py2hwsw_commit = "dace76f2193e23ac7b38be4f783d6c74e458d087"; # Replace with the desired commit. - py2hwsw_sha256 = "tKGm5hAsRKjkYKPaXGVydIfnJZM4DqUTff+eDlVaDkA="; # Replace with the actual SHA256 hash. + py2hwsw_commit = "13d2f9d76e3af80c76293e6f5ad0db8593c3e405"; # Replace with the desired commit. + py2hwsw_sha256 = "AjDDJZZgTEllKfImNtj5MyDP2A4eqVge6bP8fgo2STM="; # Replace with the actual SHA256 hash. # Get local py2hwsw root from `PY2HWSW_ROOT` env variable py2hwswRoot = builtins.getEnv "PY2HWSW_ROOT";