From 256fafc4fb8ea9f1f5531049a24c87885cc520fe Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Mon, 27 Jan 2025 21:34:07 -0800 Subject: [PATCH] Fix sail install --- bin/wally-tool-chain-install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/wally-tool-chain-install.sh b/bin/wally-tool-chain-install.sh index 8fe98569d..0018cafc4 100755 --- a/bin/wally-tool-chain-install.sh +++ b/bin/wally-tool-chain-install.sh @@ -430,7 +430,7 @@ section_header "Installing/Updating RISC-V Sail Model" STATUS="riscv-sail-model" if git_check "sail-riscv" "https://github.com/riscv/sail-riscv.git" "$RISCV/bin/riscv_sim_rv32d"; then cd "$RISCV"/sail-riscv - git reset --hard && git clean -f && git checkout master && git pull && rm -rf build + git reset --hard && git clean -f && git checkout master && git pull cmake -S . -B build -DCMAKE_RELEASE_TYPE=RelWithDebInfo -GNinja 2>&1 | logger $STATUS; [ "${PIPESTATUS[0]}" == 0 ] cmake --build build 2>&1 | logger $STATUS; [ "${PIPESTATUS[0]}" == 0 ] cp -f build/c_emulator/riscv_sim_rv64d "$RISCV"/bin/riscv_sim_rv64d