Don't use viewer bottle

model-checking · Oct 24, 2023 · e8d874f · e8d874f
1 parent 727b819
commit e8d874f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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)"