From e0312bd3af694e1a4065c5b3252121d716abbbd1 Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Mon, 8 Apr 2024 08:13:07 -0700 Subject: [PATCH] Update tool-chain-install to only build Sail c emulator Wally only uses the c emulator, so there is no reason to have it build the other models (like ocaml). When only the c emulator is used it is also able to only build the differences since the last build. --- bin/wally-tool-chain-install.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/wally-tool-chain-install.sh b/bin/wally-tool-chain-install.sh index af3789564..1810747ec 100755 --- a/bin/wally-tool-chain-install.sh +++ b/bin/wally-tool-chain-install.sh @@ -176,8 +176,8 @@ git clone https://github.com/riscv/sail-riscv.git cd sail-riscv # For now, use checkout that is stable for Wally #git checkout 72b2516d10d472ac77482fd959a9401ce3487f60 # not new enough for Zicboz? -make -j ${NUM_THREADS} -ARCH=RV32 make -j ${NUM_THREADS} +make -j ${NUM_THREADS} c_emulator/riscv_sim_RV64 +ARCH=RV32 make -j ${NUM_THREADS} c_emulator/riscv_sim_RV32 sudo ln -sf $RISCV/sail-riscv/c_emulator/riscv_sim_RV64 /usr/bin/riscv_sim_RV64 sudo ln -sf $RISCV/sail-riscv/c_emulator/riscv_sim_RV32 /usr/bin/riscv_sim_RV32