Update Sail status messages

This commit is contained in:
Jordan Carlin 2024-08-29 12:16:40 -07:00
parent 4c8114c175
commit 24a95d9ecb
No known key found for this signature in database

View File

@ -323,9 +323,10 @@ STATUS="Sail Compiler"
if [ ! -e "$RISCV"/bin/sail ]; then
cd "$RISCV"
curl --location https://github.com/rems-project/sail/releases/latest/download/sail.tar.gz | tar xvz --directory="$RISCV" --strip-components=1
echo -e "${SUCCESS_COLOR}gmp successfully installed!${ENDC}"
echo -e "${SUCCESS_COLOR}Sail Compiler successfully installed/updated!${ENDC}"
else
echo -e "${SUCCESS_COLOR}Sail Compiler already installed.${ENDC}"
fi
echo -e "${SUCCESS_COLOR}Sail Compiler successfully installed/updated!${ENDC}"
# RISC-V Sail Model (https://github.com/riscv/sail-riscv)
# The RISC-V Sail Model is the golden reference model for RISC-V. It is written in Sail (described above)