Rename intdiv to intdiv0, require it to be configured in.

1 files changed, 18 insertions, 0 deletions

diff --git a/configure b/configure
index 6832d9da..e7a491bb 100755
--- a/configure
+++ b/configure
@@ -766,6 +766,7 @@ enable_silent_rules
 with_whiny_user_strftime
 enable_lint
 enable_severe_portability_problems
+enable_builtin_intdiv0
 enable_dependency_tracking
 enable_largefile
 enable_nls
@@ -1412,6 +1413,8 @@ Optional Features:
   --disable-lint          Disable gawk lint checking
   --enable-severe-portability-problems
                           Enable really nasty portability problems
+  --enable-builtin-intdiv0
+                          Enable built-in intdiv0 function
   --enable-dependency-tracking
                           do not reject slow dependency extractors
   --disable-dependency-tracking
@@ -3243,6 +3246,21 @@ $as_echo "#define I_DONT_KNOW_WHAT_IM_DOING 1" >>confdefs.h
 
 fi
 
+# Check whether --enable-builtin-intdiv0 was given.
+if test "${enable_builtin_intdiv0+set}" = set; then :
+  enableval=$enable_builtin_intdiv0; if test "$enableval" = yes
+	then
+
+$as_echo "#define SUPPLY_INTDIV 1" >>confdefs.h
+
+		sed '/^@set PATCHLEVEL/a\
+@set INTDIV' < "$srcdir"/doc/gawktexi.in > foo
+		cp foo "$srcdir"/doc/gawktexi.in
+		rm foo
+	fi
+
+fi
+
 
 # Make sure we can run config.sub.
 $SHELL "$ac_aux_dir/config.sub" sun4 >/dev/null 2>&1 ||