make scripts for mac support m1

uclid-org · Aug 23, 2023 · c169053 · c169053
1 parent 72dbb56
commit c169053
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 6 deletions.
diff --git a/get-cvc5-macos.sh b/get-cvc5-macos.sh
@@ -6,11 +6,21 @@
 # This will download cvc5 version 0.0.4 and add it to your path
 #
 
-wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.0.3/cvc5-macOS
+mac_arch=$(uname -m)
+
+if [ "$mac_arch" = "arm64" ]; then
+    FILE_TO_GET="cvc5-macOS-arm64"
+else
+    FILE_TO_GET="cvc5-macOS"
+fi
+
+echo $FILE_TO_GET
+
+wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.0.3/$FILE_TO_GET
+
 mkdir -p cvc5/bin/
-mv cvc5-macOS cvc5/bin/cvc5
+mv $FILE_TO_GET cvc5/bin/cvc5
 chmod 755 cvc5/bin/cvc5
 mv cvc5_wait.sh cvc5/bin/cvc5_wait.sh
 export PATH=$PATH:$PWD/cvc5/bin
 cvc5 --version
-
diff --git a/get-z3-macos.sh b/get-z3-macos.sh
@@ -12,13 +12,23 @@ VERSION=4.12.2
 # path.  This latter step will have to be done repeatedly. (Or you can
 # include it in your bashrc.)
 
+mac_arch=$(uname -m)
 
-wget https://github.com/Z3Prover/z3/releases/download/z3-$VERSION/z3-$VERSION-x64-osx-10.16.zip
-unzip z3-$VERSION-x64-osx-10.16.zip
+if [ "$mac_arch" = "arm64" ]; then
+    FILE_TO_GET="z3-$VERSION-arm64-osx-11.0"
+else
+    FILE_TO_GET="z3-$VERSION-x64-osx-10.16"
+fi
+
+echo $FILE_TO_GET
+
+wget https://github.com/Z3Prover/z3/releases/download/z3-$VERSION/$FILE_TO_GET.zip
+unzip $FILE_TO_GET.zip
+rm $FILE_TO_GET.zip
 
 # rename folder to a generic name to make it easier to upgrade z3 versions
 rm -rf z3/
-mv z3-$VERSION-x64-osx-10.16/ z3/
+mv $FILE_TO_GET/ z3/
 
 cp z3/bin/com.microsoft.z3.jar lib/
 source setup-z3-macos.sh