Add extra flags

crytic · Oct 2, 2023 · 58f0e67 · 58f0e67
1 parent cff0090
commit 58f0e67
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -37,7 +37,7 @@ jobs:
  steps:
  - name: Get Packages (macOS)
  if: runner.os == 'macOS'
- run: brew install autoconf automake gmp libtool
+ run: brew install autoconf automake libtool
 
  - name: Get Packages (Windows)
  uses: msys2/setup-msys2@v2
@@ -100,11 +100,15 @@ jobs:
 
  - name: Build Dependencies
  run: |
- stack build --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib --only-dependencies
+ stack build --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib --only-dependencies $EXTRA_ARGS
+ env:
+ EXTRA_ARGS: ${{ runner.arch == 'ARM64' ? '--extra-include-dirs=/opt/homebrew/include --extra-lib-dirs=/opt/homebrew/lib' : '' }}
 
  - name: Build and install echidna
  run: |
- stack install --flag echidna:static --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib
+ stack install --flag echidna:static --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib $EXTRA_ARGS
+ env:
+ EXTRA_ARGS: ${{ runner.arch == 'ARM64' ? '--extra-include-dirs=/opt/homebrew/include --extra-lib-dirs=/opt/homebrew/lib' : '' }}
 
  - name: Amend and compress binaries (macOS)
  if: runner.os == 'macOS'