|
#!/bin/bash |
|
|
|
|
|
set -e |
|
CI_OS_NAME=${CI_OS_NAME} |
|
WITH_CMAKE=${WITH_CMAKE:-true} |
|
WITH_PYTHON=${WITH_PYTHON:-false} |
|
WITH_CUDA=${WITH_CUDA:-true} |
|
WITH_CUDNN=${WITH_CUDNN:-true} |
|
WITH_OPEN_CL=${WITH_OPEN_CL:-false} |
|
WITH_MKL=${WITH_MKL:-false} |
|
WITH_UNITY=${WITH_UNITY:-false} |
|
WITH_DEBUG=${WITH_DEBUG:-false} |
|
|
|
if [[ $WITH_CUDA == false ]] && [[ $WITH_CUDNN == true ]] |
|
then |
|
echo "CUDNN only possible in combination with CUDA, setting WITH_CUDNN to false" |
|
WITH_CUDNN=false |
|
fi |
|
|
|
|
|
|
|
if [[ $WITH_CUDA == false ]] && [[ $WITH_OPEN_CL == false ]] && [[ $WITH_UNITY == false ]]; then |
|
RUN_EXAMPLES=true |
|
else |
|
RUN_EXAMPLES=false |
|
fi |
|
echo "RUN_EXAMPLES = ${RUN_EXAMPLES}." |
|
|
|
|
|
|
|
if [[ $WITH_PYTHON == false ]] && [[ $WITH_DEBUG == false ]] && [[ $WITH_UNITY == false ]]; then |
|
MAKE_CONFIG_COMPATIBLE=true |
|
else |
|
MAKE_CONFIG_COMPATIBLE=false |
|
fi |
|
echo "MAKE_CONFIG_COMPATIBLE = ${MAKE_CONFIG_COMPATIBLE}." |
|
|