configure

changeset 990
f708863e7ec6
parent 988
15b3ca7ee33f
child 1017
b0098854071f
--- 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

mercurial