A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
you cannot use the ISP testsuite without model-checking
[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
e20f7bd
..
1200f99
100644
(file)
--- a/
teshsuite/smpi/isp/umpire/CMakeLists.txt
+++ b/
teshsuite/smpi/isp/umpire/CMakeLists.txt
@@
-189,7
+189,7
@@
set(txt_files ${txt_files} ${sources} PARENT_SCOPE)
# Build the tests
#################
# Build the tests
#################
-if(enable_smpi AND enable_smpi_ISP_testsuite)
+if(enable_smpi AND enable_
model-checking AND enable_
smpi_ISP_testsuite)
set(CMAKE_C_COMPILER "${CMAKE_BINARY_DIR}/smpi_script/bin/smpicc")
set(CMAKE_Fortran_COMPILER "${CMAKE_BINARY_DIR}/smpi_script/bin/smpiff")
set(CMAKE_C_COMPILER "${CMAKE_BINARY_DIR}/smpi_script/bin/smpicc")
set(CMAKE_Fortran_COMPILER "${CMAKE_BINARY_DIR}/smpi_script/bin/smpiff")
@@
-224,7
+224,7
@@
endif()
# Erase all tesh files on cleanup: they are generated anyway
set_directory_properties ( PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES "${files_to_clean}" )
# Erase all tesh files on cleanup: they are generated anyway
set_directory_properties ( PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES "${files_to_clean}" )
-if(enable_smpi AND enable_smpi_ISP_testsuite)
+if(enable_smpi AND enable_
model-checking AND enable_
smpi_ISP_testsuite)
foreach (tesh ${umpire_tesh})
ADD_TESH(mc-umpire-${tesh}
--setenv srcdir=${CMAKE_CURRENT_SOURCE_DIR}
foreach (tesh ${umpire_tesh})
ADD_TESH(mc-umpire-${tesh}
--setenv srcdir=${CMAKE_CURRENT_SOURCE_DIR}