We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ee3378f commit 93da97eCopy full SHA for 93da97e
scripts/setup/macos/install_deps.sh
@@ -28,6 +28,8 @@ if [[ "${ARCH}" == "arm64" ]]; then
28
# Bitwuzla only publishes macOS binaries for arm64
29
curl -L --remote-name https://github.com/bitwuzla/bitwuzla/releases/download/0.8.1/Bitwuzla-Linux-${ARCH}-static.zip
30
sudo unzip -o -j -d /usr/local/bin Bitwuzla-Linux-${ARCH}-static.zip Bitwuzla-Linux-${ARCH}-static/bin/bitwuzla
31
+ ls -la /usr/local/bin/bitwuzla
32
+ file /usr/local/bin/bitwuzla
33
rm Bitwuzla-Linux-${ARCH}-static.zip
34
else
35
curl -L --remote-name https://github.com/bitwuzla/bitwuzla/archive/refs/tags/0.8.1.tar.gz
0 commit comments