From d0be17d6bf7437bec0b4d158899d89f54ede169b Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com>
Date: Thu, 28 Jul 2022 19:37:02 -0700
Subject: Require C++17.

---
 config/open-axiom.m4 | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'config')

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 -------------------------------
-- 
cgit v1.2.3