Skip to content

Commit

Permalink
Anotehr attempt at linking gmp...
Browse files Browse the repository at this point in the history
  • Loading branch information
gussmith23 committed Apr 24, 2024
1 parent f9adc3a commit 5c30bd1
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -231,6 +231,7 @@ jobs:
# 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
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
Expand Down

0 comments on commit 5c30bd1

Please sign in to comment.