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 ++++++
 dev/ci/ci-fcsl-pcm.sh      | 12 ++++++++++++
 2 files changed, 18 insertions(+)
 mode change 100644 => 100755 dev/ci/ci-basic-overlay.sh
 create mode 100755 dev/ci/ci-fcsl-pcm.sh

(limited to 'dev')

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}"
diff --git a/dev/ci/ci-fcsl-pcm.sh b/dev/ci/ci-fcsl-pcm.sh
new file mode 100755
index 0000000000..fdc4c729b6
--- /dev/null
+++ b/dev/ci/ci-fcsl-pcm.sh
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+ci_dir="$(dirname "$0")"
+. "${ci_dir}/ci-common.sh"
+
+fcsl_pcm_CI_DIR="${CI_BUILD_DIR}/fcsl-pcm"
+
+install_ssreflect
+
+git_checkout "${fcsl_pcm_CI_BRANCH}" "${fcsl_pcm_CI_GITURL}" "${fcsl_pcm_CI_DIR}"
+
+( cd "${fcsl_pcm_CI_DIR}" && make )
-- 
cgit v1.2.3