add mention of LD_LIBRARY_PATH

diff --git a/3d_gpu/spike_sv.mdwn b/3d_gpu/spike_sv.mdwn
index ae092692f4bd780255af7085f8d102688acbb742..462ba6a3c6f2dff0994a85d97ad2d51010ff7579 100644 (file)
--- 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
+