diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-07-13 12:36:38 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2017-07-13 12:36:38 -0700 |
commit | 20da56d1153fac605040946c8682171ea6b46196 (patch) | |
tree | db0dc51b2ee249b1fbf6bd1bad6d3932a35719b4 /configure.ac | |
parent | d6d34604fa6d4c260edfc10a5b7f543540be75f4 (diff) |
autoconf: make -std=gnu++11 mandatory
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 |