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 585e989..a824e28 100644 (file)
--- a/examples/simdag/dax/CMakeLists.txt
+++ b/examples/simdag/dax/CMakeLists.txt
@@ -6,7 +6,7 @@ add_executable(dax_test dax_test.c)
 
 ### Add definitions for compile
 if(NOT WIN32)
-  target_link_libraries(dax_test simgrid pthread m )
+  target_link_libraries(dax_test simgrid pthread )
 else()
   target_link_libraries(dax_test simgrid)
 endif()
@@ -15,6 +15,7 @@ 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