Try to fix some issues with slowness in the MacOS build.

.github/workflows/ci-test.yml

@@ -114,11 +114,11 @@ jobs:
       run: sudo -E ctest --output-on-failure --schedule-random
       working-directory: ./build
 
-  # Build and test p4c on MacOS 11
+  # Build and test p4c on MacOS 12
   test-mac-os:
     strategy:
       fail-fast: false
-    runs-on: macos-11
+    runs-on: macos-12
     env:
       CTEST_PARALLEL_LEVEL: 4
     steps:
@@ -135,15 +135,16 @@ jobs:
     - name: Install dependencies (MacOS)
       run: |
            tools/install_mac_deps.sh
-           echo "/usr/local/opt/bison/bin" >> $GITHUB_PATH
 
     - name: Build (MacOS)
       run: |
+          source ~/.bash_profile
           ./bootstrap.sh -DENABLE_GC=ON -DCMAKE_BUILD_TYPE=RELEASE \
               -DCMAKE_UNITY_BUILD=ON
           make -Cbuild -j2
 
     - name: Run tests (MacOS)
       run: |
+        source ~/.bash_profile
         ctest --output-on-failure --schedule-random -LE "bpf|ubpf"
       working-directory: ./build

tools/ci-build.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 
-# Script for building in a Docker container on Travis.
+# Script for building P4C for continuous integration builds.
 
 set -e  # Exit on error.
 set -x  # Make command execution verbose

tools/install_mac_deps.sh

@@ -1,23 +1,31 @@
 #! /bin/bash
 
+# Script for building P4C on MacOS.
+
+set -e  # Exit on error.
+set -x  # Make command execution verbose
+
 # Install some custom requirements on OS X using brew
 BREW=/usr/local/bin/brew
 if [[ ! -x $BREW ]]; then
-    /usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"
+    /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
 fi
 
 BOOST_LIB="[email protected]"
 
-$BREW update
-$BREW install autoconf automake bdw-gc bison ${BOOST_LIB} ccache cmake \
-      libtool openssl pkg-config python coreutils grep
+$BREW install autoconf automake bdw-gc ccache cmake \
+      libtool openssl pkg-config python coreutils
 
+# We need to link boost.
+$BREW install ${BOOST_LIB}
+$BREW link ${BOOST_LIB}
 # Prefer Homebrew's bison and grep over the macOS-provided version
-$BREW link --force bison grep ${BOOST_LIB}
+$BREW install bison
 echo 'export PATH="/usr/local/opt/bison/bin:$PATH"' >> ~/.bash_profile
+$BREW install grep
 echo 'export PATH="/usr/local/opt/grep/libexec/gnubin:$PATH"' >> ~/.bash_profile
-export PATH="/usr/local/opt/bison/bin:$PATH"
-export PATH="/usr/local/opt/grep/libexec/gnubin:$PATH"
+source ~/.bash_profile
+
 
 # install pip and required pip packages
 # curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py