From 90594d94f03dfd3c6eaa28cbda5a9e23e771b43a Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Tue, 23 Apr 2024 10:18:54 -0400 Subject: [PATCH] CI: Update SAW_URLs This updates the `SAW_URL` environment variables to point to a more recent version of SAW that includes the changes from https://github.com/GaloisInc/saw-script/pull/2037, which are necessary to support the AES-GCM proofs. --- NSym/scripts/install.sh | 2 +- SAW/scripts/aarch64/install.sh | 2 +- SAW/scripts/x86_64/install.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/NSym/scripts/install.sh b/NSym/scripts/install.sh index 787e0dba..421265ba 100755 --- a/NSym/scripts/install.sh +++ b/NSym/scripts/install.sh @@ -5,7 +5,7 @@ set -ex -SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz' +SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-1.1.0.99-2024-04-22-48dcbf7bc-PR2037-Linux-x86_64.tar.gz' C2A_URL='https://cryptol-air-interface.s3.us-west-2.amazonaws.com/cryptol-air-interface-2023-11-20-fd3447e-Linux-x86_64.tar.gz' ELF_URL='https://ocaml-elf-loader.s3.us-west-2.amazonaws.com/elf_loader-2023-11-09-c95cf1c-Linux_x86_64.tar.gz' OSI_URL='https://ocaml-smt-interface.s3.us-west-2.amazonaws.com/ocaml_smt_interface-2023-11-07-9654c87-Linux_x86_64.tar.gz' diff --git a/SAW/scripts/aarch64/install.sh b/SAW/scripts/aarch64/install.sh index 36cf74ba..edc46604 100755 --- a/SAW/scripts/aarch64/install.sh +++ b/SAW/scripts/aarch64/install.sh @@ -5,7 +5,7 @@ set -ex -SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz' +SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-1.1.0.99-2024-04-22-48dcbf7bc-PR2037-Linux-x86_64.tar.gz' mkdir -p /bin /deps diff --git a/SAW/scripts/x86_64/install.sh b/SAW/scripts/x86_64/install.sh index 36cf74ba..edc46604 100755 --- a/SAW/scripts/x86_64/install.sh +++ b/SAW/scripts/x86_64/install.sh @@ -5,7 +5,7 @@ set -ex -SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz' +SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-1.1.0.99-2024-04-22-48dcbf7bc-PR2037-Linux-x86_64.tar.gz' mkdir -p /bin /deps