From 32554672ca870269192c25c4df3ad03c6b0abe81 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 7 Nov 2016 15:37:24 +0100
Subject: [PATCH] add CI file

---
 .gitlab-ci.yml | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..d7875e8
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,33 @@
+image: coq:8.5
+
+stages:
+  - iris
+  - iris-atomic
+
+iris:
+  stage: iris
+  tags:
+  - coq
+  script:
+  - coqc -v
+  # see if the Iris submodule needs cleaning, then build it
+  - 'git submodule status iris | egrep "^ " || (git submodule update --init iris && cd iris && git clean -xfd)'
+  - 'cd iris && make -j8'
+  only:
+  - master
+  - ci
+
+iris-atomic:
+  stage: iris-atomic
+  tags:
+  - coq
+  script:
+  - coqc -v
+  # prepare the environment, safeguard against outdated submodule
+  - 'git submodule status iris | egrep "^ "'
+  - 'ln -s iris iris-enabled'
+  # build local repo
+  - 'time make -j8'
+  only:
+  - master
+  - ci
-- 
GitLab