[ci] update verible version to match OT

Signed-off-by: Gary Guo <gary.guo@lowrisc.org>
lowRISC · Feb 19, 2025 · 49b3b2a · 49b3b2a
1 parent 895e3fe
commit 49b3b2a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/ci/install-build-deps.sh b/ci/install-build-deps.sh
@@ -83,9 +83,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 "##vso[task.prependpath]/tools/verible/bin"
     echo "/tools/verible/bin" >> $GITHUB_PATH
     ;;

diff --git a/ci/vars.env b/ci/vars.env
@@ -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