From 674cedc307ed0fa88dd8480a07d03945d8ecd1fd Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 16 Jul 2018 15:22:59 +0200 Subject: [PATCH] VERSION_GREATER_EQUAL is not available with older cmake. --- tools/cmake/MakeLib.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/cmake/MakeLib.cmake b/tools/cmake/MakeLib.cmake index 9fa3a60243..14bb922434 100644 --- a/tools/cmake/MakeLib.cmake +++ b/tools/cmake/MakeLib.cmake @@ -120,7 +120,7 @@ if(CMAKE_COMPILER_IS_GNUCC AND GCCLIBATOMIC_LIBRARY) set(SIMGRID_DEP "${SIMGRID_DEP} -Wl,--as-needed -latomic -Wl,--no-as-needed") endif() -if(enable_model-checking AND CMAKE_COMPILER_IS_GNUCC AND LINKER_VERSION VERSION_GREATER_EQUAL "2.30") +if(enable_model-checking AND CMAKE_COMPILER_IS_GNUCC AND (NOT LINKER_VERSION VERSION_LESS "2.30")) set(SIMGRID_DEP "${SIMGRID_DEP} -Wl,-znoseparate-code") endif() -- 2.20.1