diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-07-28 19:37:02 -0700 |
---|---|---|
committer | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-07-28 19:37:02 -0700 |
commit | d0be17d6bf7437bec0b4d158899d89f54ede169b (patch) | |
tree | 636d7e975314421fb3c0c4b8131bd7f990a880ad /config | |
parent | 8923631e7aa5945f4f3e8113fbfac1190cd4ae94 (diff) | |
download | open-axiom-d0be17d6bf7437bec0b4d158899d89f54ede169b.tar.gz |
Require C++17.
Diffstat (limited to 'config')
-rw-r--r-- | config/open-axiom.m4 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index 3ee8ceb5..fce469bd 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -258,16 +258,16 @@ esac ]) dnl ----------------------------- -dnl -- OPENAXIOM_REQUIRE_CXX14 -- +dnl -- OPENAXIOM_REQUIRE_CXX17 -- dnl ----------------------------- -AC_DEFUN([OPENAXIOM_REQUIRE_CXX14],[ +AC_DEFUN([OPENAXIOM_REQUIRE_CXX17],[ oa_saved_cxxflags=$CXXFLAGS -CXXFLAGS="-std=c++14" +CXXFLAGS="-std=c++17" AC_MSG_CHECKING([whether $CXX supports $CXXFLAGS]) AC_COMPILE_IFELSE([AC_LANG_PROGRAM([])], [AC_MSG_RESULT([yes])] [CXXFLAGS="$CXXFLAGS $oa_saved_cxxflags"], - [AC_MSG_ERROR([OpenAxiom requires a C++11 compiler])]) + [AC_MSG_ERROR([OpenAxiom requires a C++17 compiler])]) ]) dnl ------------------------------- |