From 6a12078cce9bf90184a58f7c916c13a6ac2e392d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Mon, 2 Oct 2023 19:30:22 -0300
Subject: [PATCH] Add extra flags

---
 .github/workflows/ci.yml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1f27396cb..9c80719d6 100644
--- 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'