From 80b2a82d25fc9117270b9a052e4071d87eb6755f Mon Sep 17 00:00:00 2001
From: Anton Trunov
Date: Fri, 20 Apr 2018 18:28:34 +0200
Subject: CI: add fcsl-pcm

---
 dev/ci/ci-basic-overlay.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 mode change 100644 => 100755 dev/ci/ci-basic-overlay.sh

(limited to 'dev/ci/ci-basic-overlay.sh')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
old mode 100644
new mode 100755
index 2adc7d8dcc..5566a51175
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -150,3 +150,9 @@
 ########################################################################
 : "${Elpi_CI_BRANCH:=coq-master}"
 : "${Elpi_CI_GITURL:=https://github.com/LPCIC/coq-elpi.git}"
+
+########################################################################
+# fcsl-pcm
+########################################################################
+: "${fcsl_pcm_CI_BRANCH:=master}"
+: "${fcsl_pcm_CI_GITURL:=https://github.com/imdea-software/fcsl-pcm.git}"
-- 
cgit v1.2.3