diff options
Diffstat (limited to 'cmake/cxx_flags_override.cmake')
| -rw-r--r-- | cmake/cxx_flags_override.cmake | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/cmake/cxx_flags_override.cmake b/cmake/cxx_flags_override.cmake new file mode 100644 index 00000000..0e3946fe --- /dev/null +++ b/cmake/cxx_flags_override.cmake @@ -0,0 +1,25 @@ +#===------------------------------------------------------------------------===# +# +# The KLEE Symbolic Virtual Machine +# +# This file is distributed under the University of Illinois Open Source +# License. See LICENSE.TXT for details. +# +#===------------------------------------------------------------------------===# +# +# This file overrides the default compiler flags for CMake's built-in +# configurations (CMAKE_BUILD_TYPE). Most compiler flags should not be set +# here. The main purpose is to make sure ``-DNDEBUG`` is never set by default. +# +#===------------------------------------------------------------------------===# + +if (("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang") OR ("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU")) + # Taken from Modules/Compiler/GNU.cmake but -DNDEBUG is removed + set(CMAKE_CXX_FLAGS_INIT "") + set(CMAKE_CXX_FLAGS_DEBUG_INIT "-O0 -g") + set(CMAKE_CXX_FLAGS_MINSIZEREL_INIT "-Os") + set(CMAKE_CXX_FLAGS_RELEASE_INIT "-O3") + set(CMAKE_CXX_FLAGS_RELWITHDEBINFO_INIT "-O2 -g") +else() + message(FATAL_ERROR "Overrides not set for compiler ${CMAKE_CXX_COMPILER_ID}") +endif() |