michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Attempt to suppress valgrind warnings on Travis

Browse source 
- don't understand why cmake on travis doesn't pick up the memcheck.supp
file. It works on my local machine.
This commit is contained in:
Soonho Kong 2013-09-15 01:15:04 -07:00
parent 15861ef6ea
commit b553521578
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/CTestConfig.cmake
View file

@ -12,9 +12,10 @@ set(CTEST_NIGHTLY_START_TIME "00:00:00 EST")
# Specify MEMCHECK Option: http://valgrind.org/docs/manual/mc-manual.html
# Note: We use "--trace-children=yes" to valgrind-ise child processes (follow execve)
# Note: We turn off "--show-reachable=yes" option.
SET (MEMORYCHECK_SUPPRESSIONS_FILE "${CMAKE_SOURCE_DIR}/memcheck.supp")
SET (VALGRIND_COMMAND_OPTIONS "-q --tool=memcheck --leak-check=yes --workaround-gcc296-bugs=yes --num-callers=50 --trace-children=yes --leak-check=full --track-origins=yes")
SET (MEMORYCHECK_COMMAND_OPTIONS "-q --tool=memcheck --leak-check=yes --workaround-gcc296-bugs=yes --num-callers=50 --trace-children=yes --leak-check=full --track-origins=yes")
#set(MEMORYCHECK_SUPPRESSIONS_FILE ${CMAKE_SOURCE_DIR}/memcheck.supp)
file(TO_CMAKE_PATH "${CMAKE_SOURCE_DIR}/memcheck.supp" MEMORYCHECK_SUPPRESSIONS_FILE)
set(VALGRIND_COMMAND_OPTIONS "-q --tool=memcheck --leak-check=yes --workaround-gcc296-bugs=yes --num-callers=50 --trace-children=yes --leak-check=full --track-origins=yes")
set(MEMORYCHECK_COMMAND_OPTIONS "-q --tool=memcheck --leak-check=yes --workaround-gcc296-bugs=yes --num-callers=50 --trace-children=yes --leak-check=full --track-origins=yes")
set(CTEST_DROP_METHOD "http")
set(CTEST_DROP_SITE "cmacslab2.modck.cs.cmu.edu")