From e60b49952e54cea609e756b7be18343ca697df2e Mon Sep 17 00:00:00 2001
From: James Stine <james.stine@okstate.edu>
Date: Tue, 21 Mar 2023 08:36:30 -0500
Subject: [PATCH] Add correction for regression on Sail due to bug in recent
 release.  This hash is known to work (verified by Stine/Thompson).  May
 remove later if Sail ever gets fixed

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

diff --git a/bin/wally-tool-chain-install.sh b/bin/wally-tool-chain-install.sh
index 2c6d5851..138104c7 100755
--- a/bin/wally-tool-chain-install.sh
+++ b/bin/wally-tool-chain-install.sh
@@ -115,9 +115,12 @@ opam install sail -y
 eval $(opam config env)
 git clone https://github.com/riscv/sail-riscv.git
 cd sail-riscv
+# Current bug in Sail - use hash that works for Wally
+#   (may remove later if Sail is ever fixed)
+git checkout 4d05aa1698a0003a4f6f99e1380c743711c32052
 make -j ${NUM_THREADS}
-ARCH=RV32 make
-ARCH=RV64 make
+ARCH=RV32 make -j ${NUM_THREADS}
+ARCH=RV64 make -j ${NUM_THREADS}
 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