set -ev
if [[ $# -lt 2 ]]; then
cat <<- EOF
usage: $0 kcov_version install_prefix [working_dir_base]
The default working_dir_base is \$HOME.
EOF
exit
fi
kcov_slug=SimonKagstrom/kcov
kcov_version=$1
install_prefix=$2
working_dir=${3:-$HOME}/${kcov_slug}
if [[ -x ${install_prefix}/bin/kcov && $(${install_prefix}/bin/kcov --version | cut -f 2 -d ' ') == ${kcov_version} ]]; then
exit
fi
mkdir -p ${working_dir}
wget -O - https://github.com/${kcov_slug}/archive/v${kcov_version}.tar.gz | tar --directory=${working_dir} -xz
mkdir -p ${working_dir}/kcov-${kcov_version}/build
cd ${working_dir}/kcov-${kcov_version}/build
cmake -DCMAKE_INSTALL_PREFIX=${install_prefix} ..
make
make install