Support for Alchitry Au platform #350
Workflow file for this run
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: Run compliance test suite | |
| on: [push, pull_request] | |
| jobs: | |
| compliance: | |
| name: RISC-V Compliance Test | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| path: serv | |
| - name: install fusesoc, verilator, gcc and riscof | |
| run: | | |
| sudo apt-get install -y python3-setuptools verilator | |
| pip3 install fusesoc | |
| pip3 install riscof | |
| wget -qO- https://github.com/riscv-collab/riscv-gnu-toolchain/releases/download/2023.07.05/riscv64-elf-ubuntu-22.04-gcc-nightly-2023.07.05-nightly.tar.gz | tar xz | |
| echo $GITHUB_WORKSPACE/riscv/bin >> $GITHUB_PATH | |
| - name: set root and SERV directory | |
| run: | | |
| echo "SERV=$GITHUB_WORKSPACE/serv" >> $GITHUB_ENV | |
| - name: setup workspace | |
| run: fusesoc library add serv $SERV | |
| - name: Setup SAIL-RISCV Model | |
| run: | | |
| tar -xzf $SERV/verif/bin/sail-riscv.tar.gz | |
| echo $GITHUB_WORKSPACE/sail-riscv >> $GITHUB_PATH | |
| - name: Init arch tests | |
| run: riscof arch-test --clone | |
| - name: Run RV32I compliance tests | |
| run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/I --env=riscv-arch-test/riscv-test-suite/env --no-browser | |
| - name: Run RV32IM compliance tests | |
| run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/M --env=riscv-arch-test/riscv-test-suite/env --no-browser | |
| - name: Run RV32IC compliance tests | |
| run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/C --env=riscv-arch-test/riscv-test-suite/env --no-browser | |
| - name: Run RV32I Zifencei compliance tests | |
| run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/Zifencei --env=riscv-arch-test/riscv-test-suite/env --no-browser | |
| - name: Run RV32I Privilege compliance tests | |
| run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/privilege --env=riscv-arch-test/riscv-test-suite/env --no-browser |