Pre-install Python 3.12

model-checking · Jan 31, 2024 · fdef569 · fdef569
1 parent abfcd2e
commit fdef569
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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)"