From 16b5e4134e6f8b89cde6c48eed0ef01778dff8e0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 3 Nov 2016 11:42:29 +0100
Subject: [PATCH] add CI builds

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 00000000..daf4fcd0
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,22 @@
+image: coq:8.5
+
+buildjob:
+  tags:
+  - coq
+  script:
+  - coqc -v
+  - 'export IRIS_SHA=$(git submodule status iris | sed "s/^.\([a-f0-9]*\) .*$/\1/")'
+  # see if we have sth. in the cache, otherwise build Iris
+  - '[ -d iris-cache/$IRIS_SHA ] && ln -sv iris-cache/$IRIS_SHA iris-enabled'
+  - '[ -d iris-enabled ] || make iris-local -j8'
+  # build local repo
+  - 'time make -j8'
+  # cache Iris
+  - mkdir -p iris-cache
+  - '[ -d iris-cache/$IRIS_SHA ] || cp -a iris iris-cache/$IRIS_SHA'
+  cache:
+    key: "lrust"
+    paths:
+    - iris-cache/
+  only:
+  - master
-- 
GitLab