From 58f0e670d834877e72dd8011a01fa0ee83292c23 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emilio=20L=C3=B3pez?= 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..e6eecb982 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'