diff --git a/install/install-ci.sh b/install/install-ci.sh new file mode 100755 index 0000000000000000000000000000000000000000..dbff4a80dd4e08745daa1b51c96fac7c9395e34b --- /dev/null +++ b/install/install-ci.sh @@ -0,0 +1,22 @@ +#!/usr/bin/env bash +# Sat 28 Jan 09:16:48 2017 CET + +if [ "${#}" != 1 ]; then + echo "usage: `basename $0` <prefix>" + echo "example: `basename $0` /opt/conda" + exit 1 +fi + +BASEDIR=$1 +CURDIR=`pwd` +CONDA=${BASEDIR}/bin/conda + +echo "[>>] Cleaning conda cache..." +${CONDA} clean --all --yes + +for k in 2.7 3.4 3.5; do + py=`echo $k | sed -e 's/\.//'` + e="bob-devel-py$py" + echo "[>>] Installing CI environment $e using python-$k..." + ${CURDIR}/from-scratch.sh ${BASEDIR} $e $k +done