Try to use Boost 1.86 instead to fix MacOS failures.

Signed-off-by: fruffy <fruffy@nyu.edu>
p4lang · Oct 8, 2024 · 2f8843d · 2f8843d
1 parent d0b05cf
commit 2f8843d
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci-test-mac.yml b/.github/workflows/ci-test-mac.yml
@@ -93,6 +93,12 @@ jobs:
 
       - name: Install dependencies (MacOS)
         run: |
+          # FIXME: We should not need to do this, but there are currently some complications with Github CI and the boost installation via Homebrew.
+          # See https://github.com/actions/runner-images/issues/4020.
+          # See https://github.com/actions/runner-images/issues/8838.
+          brew install python@3.12 || true
+          brew link --overwrite python@3.12
+          brew pin python@3.12
           tools/install_mac_deps.sh
 
       - name: Build (MacOS)

diff --git a/tools/install_mac_deps.sh b/tools/install_mac_deps.sh
@@ -3,6 +3,7 @@
 # Script to install P4C dependencies on MacOS.
 
 set -e  # Exit on error.
+set -x  # Make command execution verbose
 
 # Installation helper.
 brew_install() {