Handle introduction of ref_typespec in UHDM/Surelog #1992
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: 'tuttest' | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| env: | |
| GHA_CUSTOM_LINE_PREFIX: "▌" | |
| jobs: | |
| test-plugin-from-sources: | |
| runs-on: [self-hosted, Linux, X64] | |
| container: debian:bookworm | |
| env: | |
| DEBIAN_FRONTEND: noninteractive | |
| PIPX_BIN_DIR: /usr/local/bin | |
| steps: | |
| - name: Prepare Repository | |
| uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 1 | |
| - name: Install Prerequisites | |
| run: | | |
| apt update -qq | |
| apt install -y --no-install-recommends pipx git | |
| pipx install git+https://github.com/antmicro/tuttest#egg=tuttest | |
| - name: Install Dependencies | |
| run: | | |
| tuttest README.md dependencies | bash - | |
| - name: Build Binaries | |
| run: | | |
| tuttest README.md build-binaries | bash - | |
| - name: Test Binaries | |
| run: | | |
| tuttest README.md load-plugin | (. <(tuttest README.md path-setup) && yosys) | |
| (tuttest README.md path-setup; tuttest README.md example-verilog) | bash - | |
| (tuttest README.md path-setup; tuttest README.md example-uhdm-ver1) | bash - | |
| (tuttest README.md path-setup; tuttest README.md example-uhdm-ver2) | bash - | |
| tuttest README.md example-multiple-files | (. <(tuttest README.md path-setup) && yosys) | |
| test-plugin-debian: | |
| runs-on: [self-hosted, Linux, X64] | |
| container: debian:bookworm | |
| env: | |
| DEBIAN_FRONTEND: noninteractive | |
| PIPX_BIN_DIR: /usr/local/bin | |
| steps: | |
| - name: Prepare Repository | |
| uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 1 | |
| - name: Install Prerequisites | |
| run: | | |
| apt update -qq | |
| apt install -y --no-install-recommends pipx git | |
| pipx install git+https://github.com/antmicro/tuttest#egg=tuttest | |
| - name: Install Dependencies | |
| run: | | |
| tuttest README.md install-yosys-debian | bash - | |
| - name: Install Plugin | |
| run: | | |
| tuttest README.md download-plugin | bash - | |
| tuttest README.md install-plugin | bash - | |
| # TODO: temporary fix due to a bug in yosys-config for debian:trixie | |
| # ln -s /usr/share/yosys /usr/lib/yosys | |
| - name: Load Plugin | |
| run: | | |
| tuttest README.md load-plugin | yosys -Q | tee log.txt | |
| grep ^ERROR log.txt || exit 0 | |
| exit 1 | |
| - name: Test Plugin | |
| run: | | |
| tuttest README.md example-verilog | bash - | |
| tuttest README.md example-multiple-files | yosys |