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'