diff options
Diffstat (limited to 'sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch')
-rw-r--r-- | sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch b/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch new file mode 100644 index 000000000000..fd0d840fc64c --- /dev/null +++ b/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch @@ -0,0 +1,10 @@ +--- 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") |