From b675ed29c56a16cd35e5a8d7e49be7c582ebd4ab Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 20 Mar 2020 19:16:52 +0100
Subject: essai d'intégration continue
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 00000000..8e840fd9
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,11 @@
+stages:
+  - build_x86_64
+
+.build_x86_64:
+  stage: build_x86_64
+  image: "coqorg/coq"
+  before_script:
+    - opam install -y menhir
+  script:
+    ./config_x86_64.sh
+    make -j "$NJOBS"
\ No newline at end of file
-- 
cgit