configure

changeset 987
53e22f112b11
parent 982
7a88b8a05ae1
child 988
15b3ca7ee33f
--- a/configure	Mon Nov 11 21:42:14 2024 +0100
+++ b/configure	Tue Nov 12 17:34:04 2024 +0100
@@ -113,6 +113,7 @@
 
 Optional Features:
   --enable-coverage
+  --disable-szmul-builtin use custom implementation, instead
 
 __EOF__
 }
@@ -158,6 +159,7 @@
 fi
 
 # features
+FEATURE_SZMUL_BUILTIN=auto
 
 #
 # parse arguments
@@ -187,6 +189,8 @@
         "--with-docs="*) OPT_WITH_DOCS=${ARG#--with-docs=} ;;
         "--enable-coverage") FEATURE_COVERAGE=on ;;
         "--disable-coverage") unset FEATURE_COVERAGE ;;
+        "--enable-szmul-builtin") FEATURE_SZMUL_BUILTIN=on ;;
+        "--disable-szmul-builtin") unset FEATURE_SZMUL_BUILTIN ;;
         "-"*) echo "unknown option: $ARG"; abort_configure ;;
     esac
 done
@@ -603,6 +607,23 @@
         unset FEATURE_COVERAGE
     fi
 fi
+if [ -n "$FEATURE_COVERAGE" ]; then
+    :
+else
+    :
+fi
+if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then
+    if [ -n "$DISABLE_FEATURE_SZMUL_BUILTIN" ]; then
+        unset FEATURE_SZMUL_BUILTIN
+    fi
+fi
+if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then
+    :
+else
+    :
+    TEMP_CFLAGS="$TEMP_CFLAGS -DCX_NO_SZMUL_BUILTIN"
+    TEMP_CXXFLAGS="$TEMP_CXXFLAGS -DCX_NO_SZMUL_BUILTIN"
+fi
 
 # Option: --with-docs
 if [ -z "$OPT_WITH_DOCS" ]; then
@@ -727,6 +748,11 @@
 else
 echo "  coverage: off"
 fi
+if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then
+echo "  szmul-builtin: on"
+else
+echo "  szmul-builtin: off"
+fi
 echo
 
 # generate the config.mk file

mercurial