aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorGabriel Dos Reis <GabrielDosReis@users.noreply.github.com>2022-07-28 19:37:02 -0700
committerGabriel Dos Reis <GabrielDosReis@users.noreply.github.com>2022-07-28 19:37:02 -0700
commitd0be17d6bf7437bec0b4d158899d89f54ede169b (patch)
tree636d7e975314421fb3c0c4b8131bd7f990a880ad /config
parent8923631e7aa5945f4f3e8113fbfac1190cd4ae94 (diff)
downloadopen-axiom-d0be17d6bf7437bec0b4d158899d89f54ede169b.tar.gz
Require C++17.
Diffstat (limited to 'config')
-rw-r--r--config/open-axiom.m48
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 -------------------------------