diff --git a/gitlab/functions.sh b/gitlab/functions.sh index fad104e1ed6826e67a2ea6416aeafd0b23f1c21e..a3e663cf59f9942480a14a14e2b252a2bc392f85 100644 --- a/gitlab/functions.sh +++ b/gitlab/functions.sh @@ -240,6 +240,7 @@ if [ -z "${CONDA_ENV}" ]; then CONDA_ENV=bob-devel-${PYVER} fi fi +BOB_PREFIX_PATH=${CONDA_FOLDER}/envs/${CONDA_ENV} if [ -z "${DOCSERVER}" ]; then DOCSERVER=http://www.idiap.ch @@ -278,6 +279,7 @@ check_env PREFIX export_env PREFIX export_env CFLAGS export_env CXXFLAGS +export_env BOB_PREFIX_PATH check_env DOCSERVER check_env PYPISERVER check_env TESTSERVER