From eb70bf4fca44f434913e3c77443e1668bf588f5c Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Thu, 26 Jun 2025 23:54:35 -0700 Subject: [PATCH] Sail update and installation fixes --- bin/installation/sail-install.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/bin/installation/sail-install.sh b/bin/installation/sail-install.sh index a0601c673..9ace87fde 100755 --- a/bin/installation/sail-install.sh +++ b/bin/installation/sail-install.sh @@ -27,9 +27,9 @@ ## and limitations under the License. ################################################################################################ -SAIL_COMPILER_VERSION=0.19 # Last release as of May 30, 2025 +SAIL_COMPILER_VERSION=0.19.1 # Last release as of June 26, 2025 CMAKE_VERSION=3.31.5 # Only used for distros with a system CMake that is too old (< 3.20) -RISCV_SAIL_MODEL_VERSION=3dc7e1c6dd957ba9a0520331270eb4c52dcd33a8 # Last commit as of June 6, 2025 +RISCV_SAIL_MODEL_VERSION=f4a94a3a3eceae6da1360b335c8ad755735e2ec4 # Last commit as of June 26, 2025 set -e # break on error # If run standalone, check environment. Otherwise, use info from main install script @@ -47,8 +47,8 @@ fi # is a functional programming language suited to formal verification. section_header "Installing/Updating Sail Compiler" STATUS="sail_compiler" +cd "$RISCV" if check_tool_version $SAIL_COMPILER_VERSION; then - cd "$RISCV" wget -nv --retry-connrefused $retry_on_host_error --output-document=sail.tar.gz "https://github.com/rems-project/sail/releases/download/$SAIL_COMPILER_VERSION-linux-binary/sail.tar.gz" tar xz --directory="$RISCV" --strip-components=1 -f sail.tar.gz rm -f sail.tar.gz @@ -85,6 +85,7 @@ fi # The RISC-V Sail Model is the golden reference model for RISC-V. It is written in Sail (described above) section_header "Installing/Updating RISC-V Sail Model" STATUS="riscv-sail-model" +cd "$RISCV" if check_tool_version $RISCV_SAIL_MODEL_VERSION; then git_checkout "sail-riscv" "https://github.com/riscv/sail-riscv.git" "$RISCV_SAIL_MODEL_VERSION" cd "$RISCV"/sail-riscv