From baa30f4603e3be131edc3dce3fde5c5aa07d2972 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Mon, 29 Sep 2014 14:22:33 +0200 Subject: [PATCH] avoid the flag finline-functions with mc and clang, also --- buildtools/Cmake/Flags.cmake | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/buildtools/Cmake/Flags.cmake b/buildtools/Cmake/Flags.cmake index 16aa5b7a42..6e5011034e 100644 --- a/buildtools/Cmake/Flags.cmake +++ b/buildtools/Cmake/Flags.cmake @@ -65,7 +65,11 @@ if(enable_model-checking AND enable_compile_optimizations) src/mc/mc_compare.cpp src/mc/mc_diff.c src/mc/mc_dwarf.c src/mc/mc_dwarf_attrnames.h src/mc/mc_dwarf_expression.c src/mc/mc_dwarf_tagnames.h src/mc/mc_set.cpp) - set_source_files_properties(${s} PROPERTIES COMPILE_FLAGS "-O3 -finline-functions -funroll-loops -fno-strict-aliasing") + set (mcCFLAGS "-O3 -funroll-loops -fno-strict-aliasing") + if(CMAKE_COMPILER_IS_GNUCC) + set (mcCFLAGS "${mcCFLAGS} -finline-functions") + endif() + set_source_files_properties(${s} PROPERTIES COMPILE_FLAGS ${mcCFLAGS}) endforeach() endif() -- 2.20.1