From d51e5088717ef047902cca02f0ddd5e36fa50432 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Wed, 22 Dec 2021 09:22:26 +0100
Subject: rm flocq

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 724d8543..41df7d8e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -279,6 +279,7 @@ build_kvx:
     - opam update && opam pin add coq-flocq 3.4.0 --no-action
     - opam install -y menhir gappa coq-gappa coq-flocq
   script:
+    - rm -rf flocq
     - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh --use-external-Flocq
     - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
     - make -j "$NJOBS" clightgen
-- 
cgit