From c3d3f2123a341c974c2f33dad3a53c653ce0f50b Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Tue, 16 Jul 2019 18:18:35 +0200
Subject: Enable Coquelicot, Flocq, Interval and Gappa in extended/release
 Windows builds

---
 dev/ci/gitlab.bat | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'dev/ci/gitlab.bat')

diff --git a/dev/ci/gitlab.bat b/dev/ci/gitlab.bat
index 6c4ccfc14d..3998fc6514 100755
--- a/dev/ci/gitlab.bat
+++ b/dev/ci/gitlab.bat
@@ -48,9 +48,13 @@ IF "%WINDOWS%" == "enabled_all_addons" (
     -addon=compcert ^
     -addon=extlib ^
     -addon=quickchick ^
+    -addon=coquelicot ^
     -addon=vst ^
-    -addon=aactactics
-REM -addon=coquelicot ^
+    -addon=aactactics ^
+    -addon=flocq ^
+    -addon=interval ^
+    -addon=gappa_tool ^
+    -addon=gappa
 ) ELSE (
   SET "EXTRA_ADDONS= "
 )
-- 
cgit v1.2.3