From 95ecfc31aee4164add876f57466a5dc12ec2abdc Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Sat, 29 Sep 2018 12:45:09 +0200
Subject: Fix issue #8321 "Add more useful addons to the Windows Installer"
 Implemented by merging addon changes in V8.8.2 (keeping everything on master)

---
 dev/ci/gitlab.bat | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

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

diff --git a/dev/ci/gitlab.bat b/dev/ci/gitlab.bat
index 09e9762261..deda42e2b7 100755
--- a/dev/ci/gitlab.bat
+++ b/dev/ci/gitlab.bat
@@ -43,9 +43,23 @@ if exist %DESTCOQ%\ rd /s /q %DESTCOQ%
 call %CI_PROJECT_DIR%\dev\build\windows\MakeCoq_MinGW.bat -threads=1 ^
   -arch=%ARCH% -installer=Y -coqver=%CI_PROJECT_DIR_CFMT% ^
   -destcyg=%CYGROOT% -destcoq=%DESTCOQ% -cygcache=%CYGCACHE% ^
-  -addon="bignums ltac2 equations" -make=N ^
+  -addon=bignums ^
+  -addon=equations ^
+  -addon=ltac2 ^
+  -addon=mtac2 ^
+  -addon=mathcomp ^
+  -addon=menhir ^
+  -addon=menhirlib ^
+  -addon=compcert ^
+  -addon=extlib ^
+  -addon=quickchick ^
+  -addon=coquelicot ^
+  -make=N ^
   -setup %CI_PROJECT_DIR%\%SETUP% || GOTO ErrorCopyLogFilesAndExit
 
+REM addons with build issues
+REM -addon=vst ^
+REM -addon=aactactics ^
 
 ECHO "Start Artifact Creation"
 TIME /T
-- 
cgit v1.2.3