From b4a08d0815342b6238d307864f0823d0f07bb691 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 26 May 2020 22:04:20 +0200
Subject: k1c -> kvx changes

---
 .gitlab-ci.yml | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1f854fc3..52317ecb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,7 +14,7 @@ check-admitted:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
@@ -35,7 +35,7 @@ build_x86_64:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
@@ -58,7 +58,7 @@ build_ia32:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
@@ -81,7 +81,7 @@ build_aarch64:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
@@ -104,7 +104,7 @@ build_arm:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
@@ -128,7 +128,7 @@ build_armhf:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
@@ -149,7 +149,7 @@ build_ppc:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
@@ -170,7 +170,7 @@ build_ppc64:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
@@ -193,7 +193,7 @@ build_rv64:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
@@ -214,13 +214,13 @@ build_rv32:
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
     - when: manual
 
-build_k1c:
+build_kvx:
   stage: build
   image: "coqorg/coq"
   before_script:
@@ -228,12 +228,12 @@ build_k1c:
     - eval `opam config env`
     - opam install -y menhir
   script:
-    - ./config_k1c.sh -no-runtime-lib
+    - ./config_kvx.sh -no-runtime-lib
     - make -j "$NJOBS"
   rules:
     - if: '$CI_COMMIT_BRANCH == "mppa-work"'
       when: always
-    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+    - if: '$CI_COMMIT_BRANCH == "mppa-kvx"'
       when: always
     - if: '$CI_COMMIT_BRANCH == "master"'
       when: always
-- 
cgit