Skip to content

Commit

Permalink
Aapparently the coreutils path changed somehow?
Browse files Browse the repository at this point in the history
maybe because /usr/local existed before but
doesn't now?
  • Loading branch information
gussmith23 committed Apr 24, 2024
1 parent 25cb8f4 commit 9db4855
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -184,16 +184,14 @@ jobs:
# Install coreutils and make them visible over default mac tools.
NONINTERACTIVE=1 brew install coreutils
export PATH="/usr/local/opt/coreutils/libexec/gnubin:$PATH"
export PATH="/opt/homebrew/opt/coreutils/libexec/gnubin:$PATH
# Build STP.
NONINTERACTIVE=1 brew install bison flex boost gmp
mkdir stp && cd stp
# TODO(@gussmith23): Change back to normal STP once https://github.com/stp/stp/pull/482 merged.
#wget -qO- https://github.com/stp/stp/archive/$STP_COMMIT_HASH.tar.gz | tar xz --strip-components=1
wget -qO- https://github.com/gussmith23/stp/archive/4570d4e8671cd8e4ee872b9a4bdc8bc48a690457.tar.gz | tar xz --strip-components=1
export PATH="/usr/local/opt/coreutils/libexec/gnubin:$PATH"
which readlink
./scripts/deps/setup-gtest.sh
./scripts/deps/setup-outputcheck.sh
./scripts/deps/setup-cms.sh
Expand Down

0 comments on commit 9db4855

Please sign in to comment.