diff -r 95d0fe30b3fa -r 8c5540b31087 configure --- a/configure Tue Oct 14 17:09:27 2025 +0200 +++ b/configure Tue Oct 28 22:03:06 2025 +0100 @@ -624,21 +624,39 @@ TEMP_CXXFLAGS= TEMP_LDFLAGS= -if dependency_error_toolkit; then - DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED toolkit " - ERROR=1 -fi -if dependency_error_gtk3; then - DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED gtk3 " - ERROR=1 -fi -if dependency_error_ucx; then - DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED ucx " - ERROR=1 -fi # Features if [ -n "$FEATURE_TOOLS" ]; then + # check dependency + if dependency_error_toolkit ; then + # "auto" features can fail and are just disabled in this case + if [ "$FEATURE_TOOLS" = "auto" ]; then + DISABLE_FEATURE_TOOLS=1 + else + DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED toolkit " + ERROR=1 + fi + fi + # check dependency + if dependency_error_gtk3 ; then + # "auto" features can fail and are just disabled in this case + if [ "$FEATURE_TOOLS" = "auto" ]; then + DISABLE_FEATURE_TOOLS=1 + else + DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED gtk3 " + ERROR=1 + fi + fi + # check dependency + if dependency_error_ucx ; then + # "auto" features can fail and are just disabled in this case + if [ "$FEATURE_TOOLS" = "auto" ]; then + DISABLE_FEATURE_TOOLS=1 + else + DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED ucx " + ERROR=1 + fi + fi if [ -n "$DISABLE_FEATURE_TOOLS" ]; then unset FEATURE_TOOLS fi