From 04542c3288b838c57253f2c315f1dab028412a40 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 28 Aug 2018 18:43:03 +0200
Subject: Download tarball instead of cloning external projects (when $CI is
 set).

This allows to use fixed commits and not just branches or tags.

We keep using git clone when $FORCE_GIT is set (for projects on
gforge.inria.fr and projects pulling dependencies through git submodules).

fiat-parsers also calls git submodule, but inside its own Makefile.
---
 dev/ci/ci-quickchick.sh | 14 +++-----------
 1 file changed, 3 insertions(+), 11 deletions(-)

(limited to 'dev/ci/ci-quickchick.sh')

diff --git a/dev/ci/ci-quickchick.sh b/dev/ci/ci-quickchick.sh
index fc39e2685d..08686d7ced 100755
--- a/dev/ci/ci-quickchick.sh
+++ b/dev/ci/ci-quickchick.sh
@@ -1,18 +1,10 @@
 #!/usr/bin/env bash
 
 ci_dir="$(dirname "$0")"
-
-# This script could be included inside other ones
-# Let's avoid to source ci-common twice in this case
-if [ -z "${CI_BUILD_DIR}" ];
-then
-    . "${ci_dir}/ci-common.sh"
-fi
-
-quickchick_CI_DIR="${CI_BUILD_DIR}/Quickchick"
+. "${ci_dir}/ci-common.sh"
 
 install_ssreflect
 
-git_checkout "${quickchick_CI_BRANCH}" "${quickchick_CI_GITURL}" "${quickchick_CI_DIR}"
+git_download quickchick
 
-( cd "${quickchick_CI_DIR}" && make && make install)
+( cd "${CI_BUILD_DIR}/quickchick" && make && make install)
-- 
cgit v1.2.3