Merge pull request #2160 from ThalesSiliconSecurity/fix-spike-in-ci

fix random spike crash in CI
openhwgroup · Sep 2, 2023 · 8d6b8e1 · 8d6b8e1
2 parents f749a58 + 96056e5
commit 8d6b8e1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cva6/sim/Makefile b/cva6/sim/Makefile
@@ -109,7 +109,8 @@ endif
 # Spike specific commands, variables
 ###############################################################################
 spike:
-	$(tool_path)/spike $(spike_stepout) $(spike_extension) --log-commits --isa=$(variant) -l $(elf)
+	LD_LIBRARY_PATH="$$(realpath ../../tools/spike/lib):$$LD_LIBRARY_PATH" \
+		$(tool_path)/spike $(spike_stepout) $(spike_extension) --log-commits --isa=$(variant) -l $(elf)
 	cp $(log).iss $(log)
 
 ###############################################################################