From 6dfcfbe4e1976088ae98f9a72e213102be63fc54 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Mon, 13 Sep 2021 17:24:08 +0200
Subject: fix gitlabciml

---
 .gitlab-ci.yml | 48 +++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 47 insertions(+), 1 deletion(-)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e2cbb777..d9a1d88f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -267,5 +267,51 @@ build_kvx:
     - rm -rf download
     - eval `opam config env`
     - opam update
-    - opam install -y menhir      when: always
+    - opam install -y menhir csmith libcsmith-dev
+  script:
+    - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh
+    - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
+    - source /opt/kalray/accesscore/kalray.sh && make -C test CCOMPOPTS=-static SIMU='kvx-cluster -- ' EXECUTE='kvx-cluster -- ' all test
+    - source /opt/kalray/accesscore/kalray.sh && ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static'
+    - source /opt/kalray/accesscore/kalray.sh && ulimit -s65536 && make -C test/monniaux/csmith TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static'
+  rules:
+    - if: '$CI_COMMIT_BRANCH == "kvx-work"'
+      when: always
+    - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"'
+      when: always
+    - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
+      when: always
+    - if: '$CI_COMMIT_BRANCH == "master"'
+      when: always
     - when: manual
+
+pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "build_kvx" above ?)
+  stage: build
+  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  before_script:
+    - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
+    - sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace
+    - ./.download_from_Kalray.sh
+    - rm -f download/*dkms*.deb download/*eclipse*.deb download/*llvm*.deb download/*board-mgmt* download/*oce-host* download/*pocl* download/*flash-util* download/*barebox*
+    - sudo dpkg -i download/*.deb
+    - rm -rf download
+    - eval `opam config env`
+    - opam update
+    - opam install -y menhir
+    - opam repo add coq-released https://coq.inria.fr/opam/released
+    - opam install coq-coq2html
+  script:
+    - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh
+    - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
+    - source /opt/kalray/accesscore/kalray.sh && make documentation
+    - mkdir public
+    - cp -r doc/* public/
+    - tools/fix_html_date.sh doc/index-kvx.html " (" ")" > public/index.html
+    - rm public/index-kvx.html
+  artifacts:
+    paths:
+    - public
+  rules:
+    - if: '$CI_COMMIT_BRANCH == "master"'
+      when: always
+    
\ No newline at end of file
-- 
cgit