Change CI to build cvv spike

openhwgroup · Oct 25, 2023 · fa757b6 · fa757b6
1 parent c60661a
commit fa757b6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/ci/setup.sh b/ci/setup.sh
@@ -15,13 +15,12 @@ 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
 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