github-mirrors/cve2
1
0
Fork 0
mirror of https://github.com/openhwgroup/cve2.git synced 2025-04-20 12:08:05 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add lowRISC-specific version of Spike to CI config

Browse source 
We use a lowRISC-internal build of Spike following the instructions at
https://ibex-core.readthedocs.io/en/latest/verification.html in private
CI. Add the version number to the CI variables file.
This commit is contained in:
Philipp Wagner 2020-08-20 21:01:24 +01:00 • committed by Philipp Wagner
parent 6fca2c4aac
commit 190518dacc
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ci/vars.yml
View file

@ -11,3 +11,5 @@ variables:
RISCV_TOOLCHAIN_TAR_VARIANT: "lowrisc-toolchain-gcc-rv32imcb"
RISCV_COMPLIANCE_GIT_VERSION: "844c6660ef3f0d9b96957991109dfd80cc4938e2"
VERIBLE_VERSION: "v0.0-493-g617b404"
# lowRISC-internal version numbers of Ibex-specific Spike builds.
SPIKE_IBEX_VERSION: "20200819-git-57023895458bc5206fe59fa229e0be6b05aa2f25"