From dad7a0d320408165b2e851a888ebb5c166df5061 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Wed, 13 May 2020 13:10:29 +0200
Subject: [PATCH] First attempt of a gitlab ci setup

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..389b3ff
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,14 @@
+---
+
+before_script:
+  - git clone -b v$SPACK_VERSION https://github.com/spack/spack.git
+  - . ./spack/share/spack/setup_env.sh
+  - spack repo add .
+
+image: registry.dune-project.org/docker/ci/debian:10
+
+spectest:v0.14.2:
+  variables:
+    - SPACK_VERSION : "0.14.2"
+  script:
+    - spack spec dune