From 052916b4540eed5bfe5ee94ba95ca6d00fad6c0a Mon Sep 17 00:00:00 2001
From: Arianna Masciolini <uzkamascio@gmail.com>
Date: Fri, 8 Aug 2025 19:33:02 +0200
Subject: [PATCH] try server mode on windows (#194)

---
 .github/workflows/build-binary-packages.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build-binary-packages.yml b/.github/workflows/build-binary-packages.yml
index bdc62123d..40f10c8bb 100644
--- a/.github/workflows/build-binary-packages.yml
+++ b/.github/workflows/build-binary-packages.yml
@@ -215,8 +215,8 @@ jobs:
 
     - name: Build GF
       run: |
-        cabal install --only-dependencies 
-        cabal configure
+        cabal install -fserver --only-dependencies 
+        cabal configure -fserver
         cabal build
         copy dist-newstyle/build/x86_64-windows/ghc-${{matrix.ghc}}/*/x/gf/build/gf/gf.exe C:/tmp-dist