diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/configure.ac b/configure.ac index 0c243c931..b321fef6b 100644 --- a/configure.ac +++ b/configure.ac @@ -64,11 +64,11 @@ CVC4_PARSER_LIBRARY_VERSION=_CVC4_PARSER_LIBRARY_VERSION CVC4_COMPAT_LIBRARY_VERSION=_CVC4_COMPAT_LIBRARY_VERSION CVC4_BINDINGS_LIBRARY_VERSION=_CVC4_BINDINGS_LIBRARY_VERSION -# Using the AC_CANONICAL_* macros destroy the command line you get -# from $@, which we want later for determining the build profile. So -# we save it. (We can't do our build profile stuff here, or it's not -# included in the output... autoconf overrides us on the orderings of -# some things.) +# Using AX_CXX_COMPILE_STDCXX_11 and the AC_CANONICAL_* macros destroy the +# command line you get from $@, which we want later for determining the build +# profile. So we save it. +# (We can't do our build profile stuff here, or it's not included in the +# output... autoconf overrides us on the orderings of some things.) config_cmdline=("$@") cvc4_config_cmdline="${config_cmdline[[@]]}" @@ -98,6 +98,10 @@ AC_CANONICAL_BUILD AC_CANONICAL_HOST AC_CANONICAL_TARGET +# C++11 support in the compiler is now mandatory. Check for support and add +# switches if necessary. +AX_CXX_COMPILE_STDCXX_11([ext], [mandatory]) + as_me=configure if test "$enable_shared" = no -a "$user_specified_enable_or_disable_shared" = yes; then |