blob: c36c496feea37099cb5617638caf9409cd2000b6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
- workaround for https://github.com/Boolector/boolector/issues/226
--- CMakeLists.txt.orig 2024-06-06 01:55:51 UTC
+++ CMakeLists.txt
@@ -196,7 +196,7 @@ add_required_c_flag("-std=gnu99")
# btorconfig.h and they are else not yet added to CMAKE_C(XX)_FLAGS at
# file generation time (configure_file).
add_required_c_flag("-std=gnu99")
-add_required_cxx_flag("-std=gnu++11")
+add_required_cxx_flag("-std=gnu++14")
add_check_c_cxx_flag("-W")
add_check_c_cxx_flag("-Wall")
|
