[ci] add job for gappa

(cherry picked from commit 2fde01a)

.gitlab-ci.yml

@@ -848,6 +848,16 @@ library:ci-corn:
   - build:edge+flambda
   - library:ci-math_classes
 
+plugin:ci-gappa:
+  extends: .ci-template-flambda
+  stage: stage-3
+  needs:
+  - build:edge+flambda
+  - library:ci-flocq
+  dependencies:
+  - build:edge+flambda
+  - library:ci-flocq
+
 library:ci-geocoq:
   extends: .ci-template-flambda
 

Makefile.ci

@@ -35,6 +35,7 @@ CI_TARGETS= \
     ci-fiat_parsers \
     ci-flocq \
     ci-fourcolor \
+    ci-gappa \
     ci-geocoq \
     ci-coqhammer \
     ci-hott \
@@ -94,6 +95,7 @@ ci-metacoq: ci-equations
 ci-vst: ci-flocq
 
 ci-compcert: ci-menhir ci-flocq
+ci-gappa: ci-flocq
 
 # Generic rule, we use make to ease CI integration
 $(CI_TARGETS): ci-%:

dev/ci/ci-gappa.sh

@@ -0,0 +1,12 @@
+ #!/usr/bin/env bash
+
+ci_dir="$(dirname "$0")"
+. "${ci_dir}/ci-common.sh"
+
+git_download gappa_tool
+
+( cd "${CI_BUILD_DIR}/gappa_tool" && ( if [ ! -x ./configure ]; then autoreconf && touch stamp-config_h.in && ./configure --prefix=${CI_INSTALL_DIR}; fi ) && ./remake "-j${NJOBS}" && ./remake install )
+
+git_download gappa_plugin
+
+( cd "${CI_BUILD_DIR}/gappa_plugin" && ( if [ ! -x ./configure ]; then autoconf && ./configure; fi ) && ./remake "-j${NJOBS}" && ./remake install )