AND CMAKE_COMPILER_IS_GNUCC
AND (NOT enable_model-checking))
if(WIN32)
- if (COMPILER_C_VERSION_MAJOR_MINOR STRGREATER "4.8")
+ if (CMAKE_C_COMPILER_VERSION VERSION_GREATER "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
#
# We are experiencing assertion failures even with 4.8 on MinGW.
# these objects you have to use the gcc wrappers:
# gcc-ar, gcc-nm and gcc-ranlib."
if(${CMAKE_C_COMPILER_ID} STREQUAL "GNU"
- AND COMPILER_C_VERSION_MAJOR_MINOR STRGREATER "4.8")
+ AND CMAKE_C_COMPILER_VERSION VERSION_GREATER "4.8")
set (CMAKE_AR gcc-ar)
set (CMAKE_RANLIB gcc-ranlib)
endif()
src/xbt/log.c src/xbt/xbt_log_appender_file.c
src/xbt/xbt_log_layout_format.c src/xbt/xbt_log_layout_simple.c
src/xbt/dict.c src/xbt/dict_elm.c src/xbt/dict_multi.c src/xbt/dict_cursor.c
- src/xbt/set.c src/xbt/setset.c
+ src/xbt/set.c
src/xbt/dynar.c src/xbt/fifo.c src/xbt/heap.c src/xbt/swag.c
src/xbt/str.c src/xbt/strbuff.c src/xbt/snprintf.c
src/xbt/queue.c