blob: 5d8817491dfb022a08a78702ad6771ba9bd9bb0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/usr/bin/env bash
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
install_ssreflect
FORCE_GIT=1
git_download Coquelicot
( cd "${CI_BUILD_DIR}/Coquelicot" && ./autogen.sh && ./configure && ./remake "-j${NJOBS}" )
|