From 16ed656ddf66e00abedce84d4e4068b4e6b62c86 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20Chocholat=C3=BD?= Date: Sun, 23 Nov 2025 08:30:43 +0100 Subject: [PATCH] feat(cmake): Update C++ standard to C++23 --- 3rdparty/cudd/CMakeLists.txt | 2 +- 3rdparty/re2/CMakeLists.txt | 2 +- 3rdparty/simlib/CMakeLists.txt | 2 +- src/CMakeLists.txt | 3 +-- 4 files changed, 4 insertions(+), 5 deletions(-) diff --git a/3rdparty/cudd/CMakeLists.txt b/3rdparty/cudd/CMakeLists.txt index b520e5ea4..ea7c3ce5b 100644 --- a/3rdparty/cudd/CMakeLists.txt +++ b/3rdparty/cudd/CMakeLists.txt @@ -134,7 +134,7 @@ add_library(cudd OBJECT util/util.h ) -target_compile_features(cudd PUBLIC cxx_std_20) +target_compile_features(cudd PUBLIC cxx_std_23) add_library(cudd_headers INTERFACE) target_include_directories(cudd_headers diff --git a/3rdparty/re2/CMakeLists.txt b/3rdparty/re2/CMakeLists.txt index 3204c5cf1..ed32412f4 100644 --- a/3rdparty/re2/CMakeLists.txt +++ b/3rdparty/re2/CMakeLists.txt @@ -29,7 +29,7 @@ add_library(re2 OBJECT util/utf.h util/util.h) -target_compile_features(re2 PUBLIC cxx_std_20) +target_compile_features(re2 PUBLIC cxx_std_23) if ("${CMAKE_CXX_COMPILER_ID}" STREQUAL "GNU") target_link_libraries(re2 PUBLIC pthread) diff --git a/3rdparty/simlib/CMakeLists.txt b/3rdparty/simlib/CMakeLists.txt index 306f960a0..adb01881b 100644 --- a/3rdparty/simlib/CMakeLists.txt +++ b/3rdparty/simlib/CMakeLists.txt @@ -1,6 +1,6 @@ add_library(simlib OBJECT src/explicit_lts_sim.cc) -target_compile_features(simlib PUBLIC cxx_std_20) +target_compile_features(simlib PUBLIC cxx_std_23) add_library(simlib_headers INTERFACE) target_include_directories(simlib_headers diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 64e0a3028..6812e29be 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -14,8 +14,7 @@ add_library (libmata STATIC $ ) -# libmata needs at least c++20 -target_compile_features (libmata PUBLIC cxx_std_20) +target_compile_features (libmata PUBLIC cxx_std_23) set_target_properties (libmata PROPERTIES OUTPUT_NAME mata