From b1be06125ea355e15555d79f0a63022f9bb7704e Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com>
Date: Fri, 12 Aug 2022 17:26:03 -0700
Subject: Refactor Autconf macro for requiring C++ version. Require C++ 20.

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

(limited to 'config')

diff --git a/config/open-axiom.m4 b/config/open-axiom.m4
index fce469bd..34fcaa6d 100644
--- a/config/open-axiom.m4
+++ b/config/open-axiom.m4
@@ -257,17 +257,17 @@ case $host in
 esac
 ])
 
-dnl -----------------------------
-dnl -- OPENAXIOM_REQUIRE_CXX17 --
-dnl -----------------------------
-AC_DEFUN([OPENAXIOM_REQUIRE_CXX17],[
+dnl ---------------------------
+dnl -- OPENAXIOM_REQUIRE_CXX --
+dnl ---------------------------
+AC_DEFUN([OPENAXIOM_REQUIRE_CXX],[
 oa_saved_cxxflags=$CXXFLAGS
-CXXFLAGS="-std=c++17"
+CXXFLAGS="-std=c++$1"
 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++17 compiler])])
+  [AC_MSG_ERROR([OpenAxiom requires a C++$1 compiler])])
 ])
 
 dnl -------------------------------
-- 
cgit v1.2.3