Reactivate an umpire test, once disabled in 56fefe1bf81ca.

[simgrid.git] / teshsuite / smpi / isp / umpire / CMakeLists.txt

diff --git a/teshsuite/smpi/isp/umpire/CMakeLists.txt b/teshsuite/smpi/isp/umpire/CMakeLists.txt
index 28f0ac7..1ae81f8 100644 (file)
--- a/teshsuite/smpi/isp/umpire/CMakeLists.txt
+++ b/teshsuite/smpi/isp/umpire/CMakeLists.txt
@@ -32,11 +32,11 @@ set(umpire_tests_passing
   send-recv-ok
   irecv-isend-ok
   lost-request-waitall
+  partial-recv
  ) # Passing (no deadlock) tests
 
 set(umpire_tests_passing_broken
   irecv-isend-ok2
-  partial-recv
   )
 
 # These are supposed to deadlock but ISP does not find deadlock
@@ -206,7 +206,8 @@ if(enable_smpi AND enable_model-checking AND enable_smpi_ISP_testsuite)
   include_directories(BEFORE "${CMAKE_HOME_DIRECTORY}/include/smpi")
 
   foreach (test ${umpire_tests_passing} ${umpire_tests_deadlock} ${umpire_tests_problematic} )
-    add_executable(${test} ${test}.c)
+    add_executable(${test} EXCLUDE_FROM_ALL ${test}.c)
+    add_dependencies(tests ${test})
     target_link_libraries(${test} simgrid)
     set_source_files_properties(${test}.c PROPERTIES COMPILE_FLAGS "-Dlint -Wno-error -Wno-return-type")
     set(umpire_tesh ${umpire_tesh} ${test})