From 4580759c20efabc5a97590caa4816e694977cfd9 Mon Sep 17 00:00:00 2001
From: Jan-Oliver Kaiser <janno@mpi-sws.org>
Date: Fri, 16 Sep 2016 14:25:30 +0200
Subject: [PATCH] Fully build Iris for CI

---
 .gitlab-ci.yml | 22 +++++++++++++++++++---
 1 file changed, 19 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 948fdb8f..eef0c698 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,13 +1,14 @@
 image: coq-git:8.5
 
 stages:
-  - deps
+  - depsquick
+  - depsfull
   - quickbuild
   - quickcheck
   - fullbuild
 
-iris:
-  stage: deps
+iris-quick:
+  stage: depsquick
   tags:
   - coq
   script: >
@@ -21,6 +22,21 @@ iris:
   only:
   - master
 
+iris-full:
+  stage: depsfull
+  tags:
+  - coq
+  script: >
+    (git --version || (apt-get update && apt-get install -y git));
+    git submodule update --init --recursive;
+    cd coq/iris;
+    cat _CoqProject | grep -v '^test' > _CoqProject_filtered;
+    mv _CoqProject_filtered _CoqProject;
+    make -j8;
+    git checkout _CoqProject
+  only:
+  - master
+
 # vio:
 #   stage: quickbuild
 #   tags:
-- 
GitLab