From db38dfd3e3e27f99fe117151b6be7afdd70971b1 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:31:42 +0100
Subject: [PATCH] GitHub ci: setup env to install spike

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

diff --git a/ci/setup.sh b/ci/setup.sh
index 65d6611d87..67c69de841 100755
--- a/ci/setup.sh
+++ b/ci/setup.sh
@@ -26,5 +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
+(source verif/sim/setup-env.sh; bash verif/regress/install-spike.sh)
 ci/build-riscv-tests.sh