endif()
endif()
if(enable_lto)
- message("-- LTO seems usable.")
+ message(STATUS "LTO seems usable.")
else()
if(NOT enable_compile_optimizations)
- message("-- LTO disabled: Compile-time optimizations turned off.")
+ message(STATUS "LTO disabled: Compile-time optimizations turned off.")
else()
if(enable_model-checking)
- message("-- LTO disabled when compiling with model-checking.")
+ message(STATUS "LTO disabled when compiling with model-checking.")
else()
- message("-- LTO does not seem usable -- try updating your build chain.")
+ message(STATUS "LTO does not seem usable -- try updating your build chain.")
endif()
endif()
endif()
else()
- message("-- LTO disabled on the command line.")
+ message(STATUS "LTO disabled on the command line.")
endif()
if(enable_lto) # User wants LTO, and it seems usable. Go for it
set(optCFLAGS "${optCFLAGS} -flto ")