From 57e132f3e42fe73d7ee0a7d263b48246bc712b67 Mon Sep 17 00:00:00 2001
From: Anton Trunov
Date: Thu, 21 Nov 2019 12:46:56 +0300
Subject: Add FCSL-PCM library to CI

FCSL-PCM is in Coq's CI, so this will prevent breaking Coq's CI, see
https://github.com/imdea-software/fcsl-pcm/issues/17
---
 .gitlab-ci.yml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5f02f42..2df217e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -373,6 +373,26 @@ ci-finmap-dev:
   variables:
     COQ_VERSION: "dev"
 
+# The FCSL-PCM library
+.ci-fcsl-pcm:
+  extends: .ci
+  variables:
+    CONTRIB_URL: "https://github.com/imdea-software/fcsl-pcm.git"
+    CONTRIB_VERSION: master
+  script:
+    - opam pin add -n -k path coq-fcsl-pcm .
+    - opam install -y -v -j "${NJOBS}" coq-fcsl-pcm
+
+ci-fcsl-pcm-8.10:
+  extends: .ci-fcsl-pcm
+  variables:
+    COQ_VERSION: "8.10"
+
+ci-fcsl-pcm-dev:
+  extends: .ci-fcsl-pcm
+  variables:
+    COQ_VERSION: "dev"
+
 ################
 ### deploy stage
 ################
-- 
cgit v1.2.3