1 # All of the possible user options. All of these options will show up 2 # in the CACHE. If you'd like to change one of these values, 3 # use `ccmake ${PATH_TO_SOURCE}`. 4 # Alternatively, you can pass them to cmake on the command line using 5 # the '-D' flag: 6 # cmake -DENABLE_FOO=ON -DCMAKE_INSTALL_PREFIX=/my/install/path $cmake_src_path 7 8 # debugging 9 option ( ENABLE_DEBUG "Enable debugging options (bugreports and developers only)" OFF ) 10 option ( ENABLE_GDB "Enable gdb debugging information" ON ) 11 option ( ENABLE_ADDRESS_SANITIZER "enable address sanitizer support" OFF ) 12 option ( ENABLE_THREAD_SANITIZER "enable thread sanitizer support" OFF ) 13 option ( ENABLE_UB_SANITIZER "enable undefined behavior sanitizer support" OFF ) 14 option ( ENABLE_CODE_COVERAGE "Whether to enable code coverage support" OFF ) 15