Fix sail install

This commit is contained in:
Jordan Carlin 2025-01-27 21:34:07 -08:00
parent 3c74f37e59
commit 256fafc4fb
No known key found for this signature in database

View File

@ -430,7 +430,7 @@ section_header "Installing/Updating RISC-V Sail Model"
STATUS="riscv-sail-model" STATUS="riscv-sail-model"
if git_check "sail-riscv" "https://github.com/riscv/sail-riscv.git" "$RISCV/bin/riscv_sim_rv32d"; then if git_check "sail-riscv" "https://github.com/riscv/sail-riscv.git" "$RISCV/bin/riscv_sim_rv32d"; then
cd "$RISCV"/sail-riscv 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 -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 ] cmake --build build 2>&1 | logger $STATUS; [ "${PIPESTATUS[0]}" == 0 ]
cp -f build/c_emulator/riscv_sim_rv64d "$RISCV"/bin/riscv_sim_rv64d cp -f build/c_emulator/riscv_sim_rv64d "$RISCV"/bin/riscv_sim_rv64d