From ab0a4d603ed4b774d273dc5c7d22983f2a77855d Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 29 Jan 2024 15:54:30 +0000 Subject: [PATCH] Try to install pre-bottled cbmc-viewer --- scripts/setup/macos/install_viewer.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/scripts/setup/macos/install_viewer.sh b/scripts/setup/macos/install_viewer.sh index d58dbf58cb07..a04b998975ed 100755 --- 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)"