# HG changeset patch # User Mike Becker # Date 1732371309 -3600 # Node ID f708863e7ec602a00cfe0e2c3bafa78f76c2def6 # Parent 8aa57a7fecc41918997aa9576b103995b17223aa automatically disable szmul builtin when testing with coverage diff -r 8aa57a7fecc4 -r f708863e7ec6 configure --- 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 diff -r 8aa57a7fecc4 -r f708863e7ec6 make/project.xml --- a/make/project.xml Sat Nov 23 14:45:32 2024 +0100 +++ b/make/project.xml Sat Nov 23 15:15:09 2024 +0100 @@ -85,6 +85,10 @@ \${COVERAGE_LDFLAGS} + + test -z "$FEATURE_COVERAGE" + +