1 ###############################################################################
2 # Top contributors (to current version):
5 # This file is part of the cvc5 project.
7 # Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8 # in the top-level source directory and their institutional affiliations.
9 # All rights reserved. See the file COPYING in the top-level source
10 # directory for licensing information.
11 # #############################################################################
14 # Valgrind_FOUND - system has Valgrind lib
15 # Valgrind_INCLUDE_DIR - the Valgrind include directory
17 # Note: We only require the valgrind/memcheck.h header, so we don't check if
18 # the valgrind executable is installed.
21 find_path(Valgrind_INCLUDE_DIR NAMES valgrind/memcheck.h)
23 find_package_handle_standard_args(Valgrind REQUIRED_VARS Valgrind_INCLUDE_DIR)
24 mark_as_advanced(Valgrind_INCLUDE_DIR)