cmake: move some bits to a better location

[simgrid.git] / tools / cmake / Flags.cmake

diff --git a/tools/cmake/Flags.cmake b/tools/cmake/Flags.cmake
index a11db3d..584434e 100644 (file)
--- a/tools/cmake/Flags.cmake
+++ b/tools/cmake/Flags.cmake
@@ -53,14 +53,6 @@ else()
   set(optCFLAGS "-O0 ")
 endif()
 
-if(enable_sdt)
-  add_definitions(-DUSE_SDT)
-endif()
-
-if(enable_ust)
-  add_definitions(-DUSE_UST)
-endif()
-
 if(enable_model-checking AND enable_compile_optimizations)
   # Forget it, do not optimize the code (because it confuses the MC):
   set(optCFLAGS "-O0 ")