model-checker : comment erroneous ignore (not completely sure ...)

[simgrid.git] / examples / simdag / dax / CMakeLists.txt

diff --git a/examples/simdag/dax/CMakeLists.txt b/examples/simdag/dax/CMakeLists.txt
index 5711972..a824e28 100644 (file)
--- a/examples/simdag/dax/CMakeLists.txt
+++ b/examples/simdag/dax/CMakeLists.txt
@@ -6,15 +6,16 @@ add_executable(dax_test dax_test.c)
 
 ### Add definitions for compile
 if(NOT WIN32)
-  target_link_libraries(dax_test simgrid pthread m )
-else(NOT WIN32)
+  target_link_libraries(dax_test simgrid pthread )
+else()
   target_link_libraries(dax_test simgrid)
-endif(NOT WIN32)
+endif()
 
 set(tesh_files
   ${tesh_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/simple_dax_with_cycle.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/smalldax.tesh
+  ${CMAKE_CURRENT_SOURCE_DIR}/smalldax_notrace.tesh
   PARENT_SCOPE
   )
 set(xml_files