From e74c4939704d437a44663ac6b54a45c380e54ba4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=B4me?= <124148386+cathales@users.noreply.github.com>
Date: Wed, 3 Jan 2024 09:07:25 +0100
Subject: [PATCH] GitHub ci: install spike in setup.sh

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

diff --git a/ci/setup.sh b/ci/setup.sh
index 64f62051fd..65d6611d87 100755
--- a/ci/setup.sh
+++ b/ci/setup.sh
@@ -26,4 +26,5 @@ tar -x -f $RISCV64_UNKNOWN_ELF_GCC --strip-components=1 -C $RISCV
 
 sudo apt install libfl-dev help2man
 
+bash verif/regress/install-spike.sh
 ci/build-riscv-tests.sh