diff --git a/gitlab/functions.sh b/gitlab/functions.sh index 17fe7a3d67a9efd248923a59f63d1332aa6fe0c3..7882db0fbea9c8b190cf29b96d76c0abfa4346e4 100644 --- a/gitlab/functions.sh +++ b/gitlab/functions.sh @@ -277,3 +277,10 @@ fi # Activates conda environment run_cmd source ${BOB_PREFIX_PATH}/bin/activate `basename ${BOB_PREFIX_PATH}` + +# Patches conda environment +log_info "Patching build flags to provide for conda..." +CFLAGS="${CFLAGS} -pthread" +export_env CFLAGS +CXXFLAGS="${CXXFLAGS} -pthread" +export_env CXXFLAGS