From 806ac6fc89975ec08d315c29ec1ea300492f05da Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 14 Dec 2020 12:00:41 +0100
Subject: [ci] uniform name of projects w.r.t. opam packages

This makes it easier to track projects across Coq's CI and the platform
---
 dev/ci/ci-basic-overlay.sh | 4 ++--
 dev/ci/ci-elpi.sh          | 4 ++--
 dev/ci/ci-gappa.sh         | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'dev/ci')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index be819616e2..de6dc9935b 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -132,7 +132,7 @@ project gappa_tool "https://gitlab.inria.fr/gappa/gappa" "master"
 ########################################################################
 # Gappa plugin
 ########################################################################
-project gappa_plugin "https://gitlab.inria.fr/gappa/coq" "master"
+project gappa "https://gitlab.inria.fr/gappa/coq" "master"
 
 ########################################################################
 # CompCert
@@ -214,7 +214,7 @@ project equations "https://github.com/mattam82/Coq-Equations" "master"
 ########################################################################
 project elpi "https://github.com/LPCIC/coq-elpi" "coq-master"
 
-project elpi_hb "https://github.com/math-comp/hierarchy-builder" "coq-master"
+project hierarchy_builder "https://github.com/math-comp/hierarchy-builder" "coq-master"
 
 ########################################################################
 # Engine-Bench
diff --git a/dev/ci/ci-elpi.sh b/dev/ci/ci-elpi.sh
index 4f185db813..d8caf8ee87 100755
--- a/dev/ci/ci-elpi.sh
+++ b/dev/ci/ci-elpi.sh
@@ -7,6 +7,6 @@ git_download elpi
 
 ( cd "${CI_BUILD_DIR}/elpi" && make && make install )
 
-git_download elpi_hb
+git_download hierarchy_builder
 
-( cd "${CI_BUILD_DIR}/elpi_hb" && make && make install )
+( cd "${CI_BUILD_DIR}/hierarchy_builder" && make && make install )
diff --git a/dev/ci/ci-gappa.sh b/dev/ci/ci-gappa.sh
index c346354b70..1af37aa7c1 100755
--- a/dev/ci/ci-gappa.sh
+++ b/dev/ci/ci-gappa.sh
@@ -7,6 +7,6 @@ git_download gappa_tool
 
 ( cd "${CI_BUILD_DIR}/gappa_tool" && ( if [ ! -x ./configure ]; then autoreconf && touch stamp-config_h.in && ./configure --prefix=${CI_INSTALL_DIR}; fi ) && ./remake "-j${NJOBS}" && ./remake install )
 
-git_download gappa_plugin
+git_download gappa
 
-( cd "${CI_BUILD_DIR}/gappa_plugin" && ( if [ ! -x ./configure ]; then autoconf && ./configure; fi ) && ./remake "-j${NJOBS}" && ./remake install )
+( cd "${CI_BUILD_DIR}/gappa" && ( if [ ! -x ./configure ]; then autoconf && ./configure; fi ) && ./remake "-j${NJOBS}" && ./remake install )
-- 
cgit v1.2.3