diff options
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index b733b65d1..ad6adf2e0 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -148,11 +148,16 @@ include(Config${CMAKE_BUILD_TYPE}) # Compiler flags add_check_c_cxx_flag("-O${OPTIMIZATION_LEVEL}") +add_check_c_cxx_flag("-Wall") add_check_c_flag("-fexceptions") add_check_c_cxx_flag("-Wno-deprecated") add_check_cxx_flag("-Wsuggest-override") add_check_cxx_flag("-Wnon-virtual-dtor") +# Temporarily disable -Wclass-memaccess to suppress 'no trivial copy-assignment' +# cdlist.h warnings. Remove when fixed. +add_check_cxx_flag("-Wno-class-memaccess") + #-----------------------------------------------------------------------------# # Option defaults (three-valued options (cvc4_option(...))) # |