[ci] update verible version to match OT

Signed-off-by: Gary Guo <gary.guo@lowrisc.org>
This commit is contained in:
Gary Guo 2025-02-19 13:43:59 +00:00
parent fa40368300
commit eba210965a
2 changed files with 6 additions and 4 deletions

View file

@ -81,9 +81,11 @@ case "$ID-$VERSION_ID" in
# Install Verible
mkdir -p build/verible
cd build/verible
curl -Ls -o verible.tar.gz "https://github.com/google/verible/releases/download/$VERIBLE_VERSION/verible-$VERIBLE_VERSION-Ubuntu-$VERSION_ID-$VERSION_CODENAME-x86_64.tar.gz"
$SUDO_CMD mkdir -p /tools/verible && $SUDO_CMD chmod 777 /tools/verible
$SUDO_CMD tar -C /tools/verible -xf verible.tar.gz --strip-components=1
VERIBLE_URL="https://github.com/chipsalliance/verible/releases/download/$VERIBLE_VERSION/verible-$VERIBLE_VERSION-linux-static-x86_64.tar.gz"
$SUDO_CMD mkdir -p /tools/verible
curl -sSfL "$VERIBLE_URL" | $SUDO_CMD tar -C /tools/verible -xvzf - --strip-components=1
# Fixup bin permission which is broken in tarball.
$SUDO_CMD chmod 755 /tools/verible/bin
echo "/tools/verible/bin" >> $GITHUB_PATH
;;

View file

@ -10,6 +10,6 @@ IBEX_COSIM_VERSION=39612f9
RISCV_TOOLCHAIN_TAR_VERSION=20220210-1
RISCV_TOOLCHAIN_TAR_VARIANT=lowrisc-toolchain-gcc-rv32imcb
RISCV_COMPLIANCE_GIT_VERSION=844c6660ef3f0d9b96957991109dfd80cc4938e2
VERIBLE_VERSION=v0.0-2135-gb534c1fe
VERIBLE_VERSION=v0.0-3622-g07b310a3
# lowRISC-internal version numbers of Ibex-specific Spike builds.
SPIKE_IBEX_VERSION=20220817-git-eccdcb15c3e51b4f7906c7b42fb824f24a4338a2