From fdef5699a33d5d725a8fbb953df881561844a4fd Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 31 Jan 2024 19:21:12 +0000 Subject: [PATCH] Pre-install Python 3.12 --- scripts/setup/macos/install_viewer.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/setup/macos/install_viewer.sh b/scripts/setup/macos/install_viewer.sh index d58dbf58cb07..b722ab4cc22c 100755 --- a/scripts/setup/macos/install_viewer.sh +++ b/scripts/setup/macos/install_viewer.sh @@ -18,5 +18,8 @@ set -x # brew doesn't recognize specific versions of viewer # Build from source, since there's only a macos-12 bottle which doesn't seem to work. +# Install Python 3.12 first while ignoring errors: the system may provide this +# version, which will hinder brew from installing symlinks +brew install python@3.12 brew install -s aws/tap/cbmc-viewer echo "Installed: $(cbmc-viewer --version)"