/usr/lib/petscdir/3.7.5/x86_64-linux-gnu-complex-debug/include/petscvalgrind.h is in libpetsc-complex-3.7.5-dbg 3.7.5+dfsg1-4+b1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 | /*
This is the include file for source code that needs to know if the code is being run under valgrind
*/
#if !defined(__PETSCVALGRIND_H)
#define __PETSCVALGRIND_H
#if defined(PETSC_HAVE_VALGRIND)
# include <valgrind/valgrind.h>
# define PETSC_RUNNING_ON_VALGRIND RUNNING_ON_VALGRIND
#else
# define PETSC_RUNNING_ON_VALGRIND PETSC_FALSE
#endif
#endif
|