From c0d7342f5130decf3987de4a2371f415e5cab091 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 9 Dec 2015 09:37:16 +0100
Subject: [PATCH] Try new continuous integration inside gitlab-ci

---
 src/plugins/e-acsl/.gitlab-ci.yml | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/src/plugins/e-acsl/.gitlab-ci.yml b/src/plugins/e-acsl/.gitlab-ci.yml
index 5aa854a9ec7..d059b01f001 100644
--- a/src/plugins/e-acsl/.gitlab-ci.yml
+++ b/src/plugins/e-acsl/.gitlab-ci.yml
@@ -1,11 +1,6 @@
 Tests:
   script:
-  - eval `opam config env`
-  - autoconf
-  - "./configure"
-  - make -j 12
-  - make PTESTS_OPTS="-error-code -j 4" tests -j 12
-  - make clean
+  - ~oci/oci/bin/bf_client.native xpra --socket ~oci/data/oci-data/oci.socket --rootfs 1 --frama-c master --E-ACSL $(git rev-parse HEAD) E-ACSL
   tags:
   except:
-  - tags
+  - tags
\ No newline at end of file
-- 
GitLab