From e8d874f6d2fb9fa31d586240f66525a3bec273c9 Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Tue, 24 Oct 2023 13:18:47 -0700
Subject: [PATCH] Don't use viewer bottle

---
 scripts/setup/macos/install_viewer.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/setup/macos/install_viewer.sh b/scripts/setup/macos/install_viewer.sh
index 55c8d019f715..d58dbf58cb07 100755
--- a/scripts/setup/macos/install_viewer.sh
+++ b/scripts/setup/macos/install_viewer.sh
@@ -17,4 +17,6 @@ fi
 set -x
 
 # brew doesn't recognize specific versions of viewer
-brew install aws/tap/cbmc-viewer
+# Build from source, since there's only a macos-12 bottle which doesn't seem to work.
+brew install -s aws/tap/cbmc-viewer
+echo "Installed: $(cbmc-viewer --version)"