gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

saw-tools: drop x86_64-darwin from update script

Browse Source
This commit is contained in:
Emily
2026-07-12 20:35:50 +01:00
parent 6fa658d673
commit 844528779d
1 changed files with 0 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/sa/saw-tools/update.sh
-7
View File
@@ -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 <<EOF
url = "$aarch64_darwin_url";
hash = "$aarch64_darwin_hash";
};
x86_64-darwin = {
url = "$x86_64_darwin_url";
hash = "$x86_64_darwin_hash";
};
x86_64-linux = {
url = "$x86_64_linux_url";
hash = "$x86_64_linux_hash";