Hi Jonathon,
On Tue, 2019-10-29 at 22:14 +0100, Mark Wielaard wrote:
> +2019-08-25 Jonathon Anderson <jm...@rice.edu>
> +
> + * configure.ac: Add new --enable-valgrind-annotations
> + * configure.ac: Add new --with-valgrind (headers only)
I think this looks fine. In theory we could also try to use pkg-config
checks, since valgrind does ship a valgrind.pc file. But various
distros don't actually ship that :{ So it is probably not worth it.
I must admit that I don't actually understand how the annotations
really work, see comments on the other patch.
Thanks,
Mark
