Use MathSAT 5.6.8 for arm64 macOS

CyanoKobalamyne · Jul 9, 2024 · ed8eed3 · ed8eed3
1 parent e04ffce
commit ed8eed3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci-scripts/setup-msat.sh b/ci-scripts/setup-msat.sh
@@ -46,7 +46,7 @@ if [ ! -d "$DEPS/mathsat" ]; then
     if [[ "$OSTYPE" == linux* ]]; then
         wget -O mathsat.tar.gz https://mathsat.fbk.eu/download.php?file=mathsat-5.6.4-linux-x86_64.tar.gz
     elif [[ "$OSTYPE" == darwin* ]]; then
-        wget -O mathsat.tar.gz https://mathsat.fbk.eu/download.php?file=mathsat-5.6.4-darwin-libcxx-x86_64.tar.gz
+        wget -O mathsat.tar.gz https://mathsat.fbk.eu/download.php?file=mathsat-5.6.8-osx.tar.gz
     elif [[ "$OSTYPE" == msys* ]]; then
         wget -O mathsat.tar.gz https://mathsat.fbk.eu/download.php?file=mathsat-5.6.4-win64-msvc.zip
     elif [[ "$OSTYPE" == cygwin* ]]; then