Fix cbmc-viewer ci issues with Mac11 (rust-lang#1844)

celinval · Nov 3, 2022 · b1bf119 · b1bf119
1 parent 7592365
commit b1bf119
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 1 deletion.
diff --git a/.github/actions/setup/action.yml b/.github/actions/setup/action.yml
@@ -17,7 +17,7 @@ runs:
         shell: bash
 
       - name: Install cbmc-viewer
-        run: ./scripts/setup/install_viewer.sh
+        run: ./scripts/setup/${{ inputs.os }}/install_viewer.sh
         shell: bash
 
       - name: Install Rust toolchain

diff --git a/scripts/setup/macos/install_viewer.sh b/scripts/setup/macos/install_viewer.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
+set -eu
+
+# Install cbmc-viewer
+
+# Source kani-dependencies to get CBMC_VIEWER_VERSION
+source kani-dependencies
+
+if [ -z "${CBMC_VIEWER_VERSION:-}" ]; then
+  echo "$0: Error: CBMC_VIEWER_VERSION is not specified"
+  exit 1
+fi
+
+set -x
+
+# brew doesn't recognize specific versions of viewer
+brew install aws/tap/cbmc-viewer
diff --git a/scripts/setup/install_viewer.sh → scripts/setup/ubuntu/install_viewer.sh b/scripts/setup/install_viewer.sh → scripts/setup/ubuntu/install_viewer.sh