From 7c1d427086f9d3174baa4c14656070e8bb3a5529 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 14 Oct 2018 05:20:02 +0100
Subject: [PATCH] add mention of LD_LIBRARY_PATH

---
 3d_gpu/spike_sv.mdwn | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/3d_gpu/spike_sv.mdwn b/3d_gpu/spike_sv.mdwn
index ae092692f..462ba6a3c 100644
--- a/3d_gpu/spike_sv.mdwn
+++ b/3d_gpu/spike_sv.mdwn
@@ -29,3 +29,9 @@ at least riscv32/64-unknown-elf-gcc to be in the path)
 * $ make
 * $ make run
 
+To override the fact that spike loads libspike\_main.so and other dynamic
+libraries from /usr/local/lib (or other location in the path):
+
+    $ export LD_LIBRARY_PATH=`pwd`
+    $ ./spike pk ./a.out
+
-- 
2.30.2