summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorNeil Conway <neilc@samurai.com>2008-03-30 04:08:15 +0000
committerNeil Conway <neilc@samurai.com>2008-03-30 04:08:15 +0000
commit2169e42bef9db7e0bdd1bea00b81f44973ad83c8 (patch)
tree6a9d12f70e4861a3e256501f1762fff8839d322d /configure
parent2f6e61b8a6d86e9331e7dd7078d5020eb8b1a28c (diff)
Enable 64-bit integer datetimes by default, per previous discussion.
This requires a working 64-bit integer type. If such a type cannot be found, "--disable-integer-datetimes" can be used to switch back to the previous floating point-based datetime implementation.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure30
1 files changed, 27 insertions, 3 deletions
diff --git a/configure b/configure
index c93694a0a2c..8691fa0ce41 100755
--- a/configure
+++ b/configure
@@ -1349,7 +1349,7 @@ if test -n "$ac_init_help"; then
Optional Features:
--disable-FEATURE do not include FEATURE (same as --enable-FEATURE=no)
--enable-FEATURE[=ARG] include FEATURE [ARG=yes]
- --enable-integer-datetimes enable 64-bit integer date/time support
+ --disable-integer-datetimes disable 64-bit integer date/time support
--enable-nls[=LANGUAGES] enable Native Language Support
--disable-shared do not build shared libraries
--disable-rpath do not embed shared library search path in executables
@@ -2176,7 +2176,7 @@ fi
#
-# 64-bit integer date/time storage (--enable-integer-datetimes)
+# 64-bit integer date/time storage: enabled by default.
#
{ echo "$as_me:$LINENO: checking whether to build with 64-bit integer date/time support" >&5
echo $ECHO_N "checking whether to build with 64-bit integer date/time support... $ECHO_C" >&6; }
@@ -2205,7 +2205,11 @@ echo "$as_me: error: no argument expected for --enable-integer-datetimes option"
esac
else
- enable_integer_datetimes=no
+ enable_integer_datetimes=yes
+
+cat >>confdefs.h <<\_ACEOF
+#define USE_INTEGER_DATETIMES 1
+_ACEOF
fi
@@ -23293,6 +23297,26 @@ fi
+# If the user did not disable integer datetimes, check that
+# there is a working 64-bit integral type to use.
+if test x"$USE_INTEGER_DATETIMES" = x"yes" &&
+ test x"$HAVE_LONG_INT_64" = x"no" &&
+ test x"$HAVE_LONG_LONG_INT_64" = x"no" &&
+ test x"$HAVE_INT64" = x"no" ; then
+ { { echo "$as_me:$LINENO: error:
+Integer-based datetime support requires a 64-bit integer type,
+but no such type could be found. The --disable-integer-datetimes
+configure option can be used to disable integer-based storage
+of datetime values." >&5
+echo "$as_me: error:
+Integer-based datetime support requires a 64-bit integer type,
+but no such type could be found. The --disable-integer-datetimes
+configure option can be used to disable integer-based storage
+of datetime values." >&2;}
+ { (exit 1); exit 1; }; }
+fi
+
+
if test "$PORTNAME" != "win32"
then
{ echo "$as_me:$LINENO: checking for POSIX signal interface" >&5