From 844528779d894ff5c872ace0ce6fe263e8caa31c Mon Sep 17 00:00:00 2001 From: Emily Date: Sun, 12 Jul 2026 20:35:50 +0100 Subject: [PATCH] saw-tools: drop `x86_64-darwin` from update script --- pkgs/by-name/sa/saw-tools/update.sh | 7 ------- 1 file changed, 7 deletions(-) diff --git a/pkgs/by-name/sa/saw-tools/update.sh b/pkgs/by-name/sa/saw-tools/update.sh index 0baf5021543f..2d64cbbac007 100755 --- a/pkgs/by-name/sa/saw-tools/update.sh +++ b/pkgs/by-name/sa/saw-tools/update.sh @@ -8,15 +8,12 @@ cd "$(readlink -e "$(dirname "${BASH_SOURCE[0]}")")" version="1.5" aarch64_darwin_url="https://github.com/GaloisInc/saw-script/releases/download/v${version}/saw-${version}-macos-15-ARM64-with-solvers.tar.gz" -x86_64_darwin_url="https://github.com/GaloisInc/saw-script/releases/download/v${version}/saw-${version}-macos-15-intel-X64-with-solvers.tar.gz" x86_64_linux_url="https://github.com/GaloisInc/saw-script/releases/download/v${version}/saw-${version}-ubuntu-22.04-X64-with-solvers.tar.gz" aarch64_darwin_hash=$(nix-prefetch-url "$aarch64_darwin_url") -x86_64_darwin_hash=$(nix-prefetch-url "$x86_64_darwin_url") x86_64_linux_hash=$(nix-prefetch-url "$x86_64_linux_url") aarch64_darwin_hash=$(nix --extra-experimental-features nix-command hash convert --to sri --hash-algo sha256 "$aarch64_darwin_hash") -x86_64_darwin_hash=$(nix --extra-experimental-features nix-command hash convert --to sri --hash-algo sha256 "$x86_64_darwin_hash") x86_64_linux_hash=$(nix --extra-experimental-features nix-command hash convert --to sri --hash-algo sha256 "$x86_64_linux_hash") sed -i "s/version = \".*\"/version = \"${version}\"/" package.nix @@ -29,10 +26,6 @@ cat >sources.nix <