From f0689873baeea389743f807b5c30c47649951844 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Thu, 1 Aug 2024 19:02:24 -0400 Subject: [PATCH] Update dep to stanford-centaur/smt-switch@ff051c824d8d4ae29977c552561e278b38e0e42f (#336) Fixes linking errors regarding fat libraries (containing both arm64 and x86_64 symbols) on macOS. --- contrib/setup-smt-switch.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh index 54a57cc9..c35cdf01 100755 --- a/contrib/setup-smt-switch.sh +++ b/contrib/setup-smt-switch.sh @@ -4,7 +4,7 @@ set -e DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" DEPS=$DIR/../deps -SMT_SWITCH_VERSION=0bec54d44e378ddbfdc64654eba89b4184d0b52b +SMT_SWITCH_VERSION=ff051c824d8d4ae29977c552561e278b38e0e42f usage () { cat <