diff options
author | Neil Conway <neilc@samurai.com> | 2008-03-30 04:08:15 +0000 |
---|---|---|
committer | Neil Conway <neilc@samurai.com> | 2008-03-30 04:08:15 +0000 |
commit | 2169e42bef9db7e0bdd1bea00b81f44973ad83c8 (patch) | |
tree | 6a9d12f70e4861a3e256501f1762fff8839d322d /configure | |
parent | 2f6e61b8a6d86e9331e7dd7078d5020eb8b1a28c (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-x | configure | 30 |
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 |