--- a/configure Sat Nov 23 14:45:32 2024 +0100 +++ b/configure Sat Nov 23 15:15:09 2024 +0100 @@ -478,6 +478,26 @@ dep_checked_doxygen=1 return 0 } +dependency_error_no_coverage() +{ + print_check_msg "$dep_checked_no_coverage" "checking for no_coverage... " + # dependency no_coverage + while true + do + if test -z "$FEATURE_COVERAGE" > /dev/null ; then + : + else + break + fi + print_check_msg "$dep_checked_no_coverage" "yes\n" + dep_checked_no_coverage=1 + return 1 + done + + print_check_msg "$dep_checked_no_coverage" "no\n" + dep_checked_no_coverage=1 + return 0 +} # start collecting dependency information echo > "$TEMP_DIR/flags.mk" @@ -662,6 +682,16 @@ : fi if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then + # check dependency + if dependency_error_no_coverage ; then + # "auto" features can fail and are just disabled in this case + if [ "$FEATURE_SZMUL_BUILTIN" = "auto" ]; then + DISABLE_FEATURE_SZMUL_BUILTIN=1 + else + DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED no_coverage " + ERROR=1 + fi + fi if [ -n "$DISABLE_FEATURE_SZMUL_BUILTIN" ]; then unset FEATURE_SZMUL_BUILTIN fi