Fix paths

gussmith23 · Apr 24, 2024 · f719ba3 · f719ba3
1 parent 5c30bd1
commit f719ba3
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -229,9 +229,8 @@ jobs:
         
           # Build Yices2.
           # TODO(@gussmith23): hardcoded versions will break eventually.
-          export LDFLAGS="-L/usr/local/Cellar/gmp/6.3.0/lib"
-          export CPPFLAGS="-I/usr/local/Cellar/gmp/6.3.0/include"
-          brew link --force gmp
+          export LDFLAGS="-L/opt/homebrew/Cellar/gmp/6.3.0/lib"
+          export CPPFLAGS="-I/opt/homebrew/Cellar/gmp/6.3.0/include"
           NONINTERACTIVE=1 brew install gperf autoconf
           mkdir yices2 && cd yices2
           wget -qO- https://github.com/SRI-CSL/yices2/archive/$YICES2_COMMIT_HASH.tar.gz | tar xz --strip-components=1