You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.p...

11 lines
350 B

--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -196,7 +196,6 @@ set_option(USE_PICOSAT ON)
# 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_check_c_cxx_flag("-W")
add_check_c_cxx_flag("-Wall")