if(CMAKE_COMPILER_IS_GNUCC AND (NOT enable_model-checking))
set(optCFLAGS "${optCFLAGS} -finline-functions ")
if(WIN32)
- if (COMPILER_C_VERSION_MAJOR_MINOR STRGREATER "4.7")
+ if (COMPILER_C_VERSION_MAJOR_MINOR STRGREATER "4.8")
# On windows, we need 4.8 or higher to enable lto because of http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50293
- set(optCFLAGS "${optCFLAGS} -flto ")
+ #
+ # We are experiencing assertion failures even with 4.8 on MinGW.
+ # Push the support forward: will see if 4.9 works when we test it.
+ set(optCFLAGS "${optCFLAGS} -flto ")
endif()
else()
# On non-windows, 4.6 is enough for that