From ea5adcfafd356ea6448238a2b5fd7662e26a59fa Mon Sep 17 00:00:00 2001
From: Florian OMNES <florian.omnes@rte-france.com>
Date: Mon, 15 Jan 2024 17:30:50 +0100
Subject: [PATCH] Use the Sirius Matrix flag at configure time (Windows)

---
 .github/workflows/windows-cpp.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/windows-cpp.yml b/.github/workflows/windows-cpp.yml
index 9b7a5f64761..7007995dd09 100644
--- a/.github/workflows/windows-cpp.yml
+++ b/.github/workflows/windows-cpp.yml
@@ -71,6 +71,7 @@ jobs:
           -DBUILD_SAMPLES=OFF 
           -DCMAKE_INSTALL_PREFIX="install"
           -DBUILD_FLATZINC=OFF
+          -DUSE_SIRIUS=${{ matrix.sirius }}
 
       - name: Build
         run: >