From 532af67e3ad9a9c507936ff57927eb243f28f8f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Thu, 19 Oct 2023 19:55:21 -0300
Subject: [PATCH] [test-windows] Install GMP in Stack's MSYS2 environment

---
 .github/workflows/ci.yml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0260c286a..2efd93a55 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
     - master
+    - test-windows
   pull_request:
     branches:
     - master
@@ -20,11 +21,6 @@ jobs:
     strategy:
       matrix:
         include:
-          - os: ubuntu-20.04
-            shell: bash
-            container: "{\"image\": \"elopeztob/alpine-haskell-stack-echidna:9.4.5\", \"options\": \"--user 1001\"}"
-          - os: macos-latest
-            shell: bash
           - os: windows-latest
             shell: msys2 {0}
 
@@ -96,6 +92,11 @@ jobs:
         env:
           HOST_OS: ${{ runner.os }}
 
+      - name: Install GMP in Stack MSYS2 (Windows)
+        if: runner.os == 'Windows'
+        run: |
+          stack exec -- pacman -S mingw-w64-x86_64-gmp
+
       - name: Build Dependencies
         run: |
           stack build --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib --only-dependencies