diff options
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index b4e567769..8e2a61c1f 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -456,7 +456,8 @@ if(ENABLE_STATISTICS) endif() if(ENABLE_VALGRIND) - #TODO check if valgrind available + find_package(Valgrind REQUIRED) + libcvc4_include_directories(${Valgrind_INCLUDE_DIR}) add_definitions(-DCVC4_VALGRIND) endif() |