From a13c31dbbb172be423b5594d3444a05acc27d519 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Tue, 8 Dec 2015 14:20:58 +0100
Subject: [PATCH] Add .gitlab-ci.yml

---
 src/plugins/e-acsl/.gitlab-ci.yml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/plugins/e-acsl/.gitlab-ci.yml

diff --git a/src/plugins/e-acsl/.gitlab-ci.yml b/src/plugins/e-acsl/.gitlab-ci.yml
new file mode 100644
index 00000000000..087f91d184f
--- /dev/null
+++ b/src/plugins/e-acsl/.gitlab-ci.yml
@@ -0,0 +1,7 @@
+Tests:
+  script:
+  - eval `opam config env`
+  - autoconf
+  - "./configure"
+  - make -j 12
+  - make PTESTS_OPTS="-error-code -j 4" tests -j 12
-- 
GitLab