From 64cce2763b7ed767c735aa2cd64f4243623a5848 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 6 Apr 2020 10:15:14 +0200
Subject: [win] CI build addons Coq-Elpi Hierarchy-Builder

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

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

diff --git a/dev/ci/gitlab.bat b/dev/ci/gitlab.bat
index 3998fc6514..dc6423332f 100755
--- a/dev/ci/gitlab.bat
+++ b/dev/ci/gitlab.bat
@@ -54,7 +54,9 @@ IF "%WINDOWS%" == "enabled_all_addons" (
     -addon=flocq ^
     -addon=interval ^
     -addon=gappa_tool ^
-    -addon=gappa
+    -addon=gappa ^
+    -addon=elpi ^
+    -addon=HB
 ) ELSE (
   SET "EXTRA_ADDONS= "
 )
-- 
cgit v1.2.3