From 5c88afbc96ad6f9de1dea74d2db5e1ceca3fc5a5 Mon Sep 17 00:00:00 2001
From: Matthias Jung <jungma@eit.uni-kl.de>
Date: Mon, 16 Jul 2018 22:50:07 +0200
Subject: [PATCH] CI: Simple GitLab CI file added

For a more complex example I refer to the petrinet CI setup
---
 .gitlab-ci.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 00000000..f1ac9543
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,25 @@
+image: gcc
+
+stages:
+    - build
+    - simple-runs
+
+cache:
+    paths:
+        - build/
+
+build:
+    stage: build
+    script:
+        - git submodule sync
+        - git submodule update --init --recursive
+        - mkdir -p build
+        - cd build
+        - qmake ../DRAMSys/DRAMSys.pro
+        - make -j4
+    
+check-for-crash:
+    stage: simple-runs
+    script:
+        - cd build/simulator
+        - ./DRAMSys