Try to install pre-bottled cbmc-viewer

model-checking · Jan 29, 2024 · ab0a4d6 · ab0a4d6
1 parent 4e35f6d
commit ab0a4d6
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/scripts/setup/macos/install_viewer.sh b/scripts/setup/macos/install_viewer.sh
@@ -16,7 +16,5 @@ fi
 
 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.
-brew install -s aws/tap/cbmc-viewer
+brew install aws/tap/cbmc-viewer
 echo "Installed: $(cbmc-viewer --version)"