From bcc21caefb5ec0a88706c428e205cedf6680ddaf Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 27 May 2020 08:07:39 +0200
Subject: CI for KVX

---
 .download_from_Kalray.sh |  7 +++++++
 .gitlab-ci.yml           | 12 ++++++++++--
 2 files changed, 17 insertions(+), 2 deletions(-)
 create mode 100755 .download_from_Kalray.sh

diff --git a/.download_from_Kalray.sh b/.download_from_Kalray.sh
new file mode 100755
index 00000000..b82296da
--- /dev/null
+++ b/.download_from_Kalray.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+mkdir download
+cd download
+sshpass "-p$KALRAY_SFTP_PASSWORD" sftp compcert@ssh.kalray.eu <<EOF
+cd files
+get DEB.tar
+EOF
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 52317ecb..9db98cdd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -224,12 +224,20 @@ build_kvx:
   stage: build
   image: "coqorg/coq"
   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
+    - ./.download_from_Kalray.sh
+    - rm download/*dkms*.deb download/*eclipse*.deb download/*llvm*.deb
+    - sudo dpkg -i download/*.deb
+    - rm -rf download
     - opam switch 4.07.1+flambda
     - eval `opam config env`
     - opam install -y menhir
   script:
-    - ./config_kvx.sh -no-runtime-lib
-    - make -j "$NJOBS"
+    - 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 && make -C test/monniaux/yarpgen TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static'
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-- 
cgit