switch to C++20 (contd.)

usi-verification-and-security · Jul 6, 2024 · db55dbf · db55dbf
1 parent 52d8d33
commit db55dbf
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,5 +1,7 @@
 ### 2.7.1 (unreleased)
 
+Build:
+ - Switch to C++20.
 
 ### 2.7.0 (2024-05-29)
 

diff --git a/README.md b/README.md
@@ -20,7 +20,7 @@ API; the distribution includes a minimal example how to use the API.
 
 ## Building from source
 
-To build the system from the source code repository, you need a C++17
+To build the system from the source code repository, you need a C++20
 compliant compiler and the following libraries and headers installed:
 
  - gmp

diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
@@ -1,7 +1,7 @@
 cmake_minimum_required(VERSION 3.12)
 project(opensmt-examples)
 
-set(CMAKE_CXX_STANDARD 17)
+set(CMAKE_CXX_STANDARD 20)
 
 set(OpenSMT_DIR CACHE PATH "Path to OpenSMT installation directory")