Browse Source

Added absolute path names for command line parameters for valgrind in

make targets (by CMAKE variables), so it should work with out of source
builds;
and a dependency to the executables (so it is built automatically if
that has not been done before)
tempestpy_adaptions
Lanchid 12 years ago
parent
commit
667b60db8f
  1. 7
      CMakeLists.txt

7
CMakeLists.txt

@ -189,5 +189,8 @@ configure_file (
"${PROJECT_BINARY_DIR}/mrmc-config.h"
)
add_custom_target(memcheck valgrind --leak-check=full --show-reachable=yes ./mrmc examples/dtmc/crowds/crowds5_5.tra examples/dtmc/crowds/crowds5_5.lab)
add_custom_target(memcheck-tests valgrind --leak-check=full --show-reachable=yes ./mrmc-tests)
add_custom_target(memcheck valgrind --leak-check=full --show-reachable=yes ${PROJECT_BINARY_DIR}/mrmc ${PROJECT_SOURCE_DIR}/examples/dtmc/crowds/crowds5_5.tra examples/dtmc/crowds/crowds5_5.lab
DEPENDS mrmc)
add_custom_target(memcheck-tests valgrind --leak-check=full --show-reachable=yes ${PROJECT_BINARY_DIR}/mrmc-tests
DEPENDS mrmc-tests)
Loading…
Cancel
Save