From fa757b6dc7209a66afc25381d26fb09910684eb7 Mon Sep 17 00:00:00 2001
From: Mario <mario@openhwgroup.org>
Date: Wed, 25 Oct 2023 22:05:17 +0000
Subject: [PATCH] Change CI to build cvv spike

---
 ci/setup.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ci/setup.sh b/ci/setup.sh
index 47b1a528740..202e8f84ac0 100755
--- a/ci/setup.sh
+++ b/ci/setup.sh
@@ -15,7 +15,7 @@ sudo apt install device-tree-compiler
 
 ci/make-tmp.sh
 
-ci/install-verilator.sh
+bash verif/regress/install-cva6.sh
 
 sudo mkdir -p $RISCV && sudo chmod 777 $RISCV
 RISCV64_UNKNOWN_ELF_GCC=riscv64-unknown-elf-gcc-8.3.0-2020.04.0-x86_64-linux-ubuntu14.tar.gz
@@ -23,5 +23,4 @@ if [ ! -f "$RISCV64_UNKNOWN_ELF_GCC" ]; then
   wget https://static.dev.sifive.com/dev-tools/$RISCV64_UNKNOWN_ELF_GCC
 fi
 tar -x -f $RISCV64_UNKNOWN_ELF_GCC --strip-components=1 -C $RISCV
-ci/install-fesvr.sh
 ci/build-riscv-tests.sh