+if (NOT SIMGRID_HAVE_MC)
+ set(dwarf_disable 1)
+ set(dwarf-expression_disable 1)
+endif()
+
+
+foreach(x dwarf dwarf-expression random-bug mutex-handling)
+
+ if(NOT DEFINED ${x}_sources)
+ set(${x}_sources ${x}/${x}.cpp)
+ endif()
+
+ if(NOT DEFINED ${x}_disable)
+ add_executable (${x} EXCLUDE_FROM_ALL ${x}/${x}.cpp)