From f2fc06610829a0359413c98f884704e064343903 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Sun, 14 May 2023 03:08:53 -0700
Subject: [PATCH] Added CD before compiling SAIL

---
 bin/wally-tool-chain-install.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bin/wally-tool-chain-install.sh b/bin/wally-tool-chain-install.sh
index ae84411a6..68723e871 100755
--- a/bin/wally-tool-chain-install.sh
+++ b/bin/wally-tool-chain-install.sh
@@ -131,6 +131,7 @@ sed -i 's/--isa=rv64ic/--isa=rv64iac/' rv64i_m/privilege/Makefile.include
 #pip3 install chardet==3.0.4
 #pip3 install urllib3==1.22
 
+cd $RISCV
 opam init -y --disable-sandboxing
 opam switch create ocaml-base-compiler.4.06.1
 opam install sail -y 
@@ -144,6 +145,7 @@ git checkout 4d05aa1698a0003a4f6f99e1380c743711c32052
 make -j ${NUM_THREADS}
 ARCH=RV32 make -j ${NUM_THREADS}
 ARCH=RV64 make -j ${NUM_THREADS}
+# Note: following will complain if not running as root
 ln -sf $RISCV/sail-riscv/c_emulator/riscv_sim_RV64 /usr/bin/riscv_sim_RV64
 ln -sf $RISCV/sail-riscv/c_emulator/riscv_sim_RV32 /usr/bin/riscv_sim_RV32