Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Optimise all the MC compilation units
[simgrid.git] / buildtools / Cmake / Flags.cmake
index d45e7f9..0c11e9a 100644 (file)
@@ -64,15 +64,21 @@ if(enable_model-checking AND enable_compile_optimizations)
   # But you can still optimize this:
   foreach(s
       # src/xbt/mmalloc/mm.c
-      # src/xbt/snprintf.c src/xbt/log.c
+      # src/xbt/snprintf.c
+      # 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/dynar.c
+      # src/xbt/dict.c src/xbt/dict_elm.c src/xbt/dict_multi.c
       # src/xbt/set.c src/xbt/setset.c
+      # src/xbt/fifo.c
+      # src/xbt/setset.c
+      # src/xbt/heap.c
+      # src/xbt/swag.c
+      # src/xbt/str.c src/xbt/strbuff.c
+      # src/xbt/queue.c
+      # src/xbt/xbt_os_time.c src/xbt/xbt_os_thread.c
       # src/xbt/backtrace_linux.c
-      src/mc/mc_dwarf_expression.c src/mc/mc_dwarf.c src/mc/mc_member.c
-      src/mc/mc_snapshot.c src/mc/mc_page_store.cpp src/mc/mc_page_snapshot.cpp
-      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)
+      ${MC_SRC_BASE} ${MC_SRC})
       set (mcCFLAGS "-O3  -funroll-loops -fno-strict-aliasing")
        if(CMAKE_COMPILER_IS_GNUCC)
          set (mcCFLAGS "${mcCFLAGS} -finline-functions")