From e52ab673220318f59a9f339b24f3d6c10682f4bb Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Fri, 3 Nov 2017 17:15:02 +0100 Subject: [PATCH] Detect ctgrind --- configure.ac | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/configure.ac b/configure.ac index 48a49b6d..965d60b3 100644 --- a/configure.ac +++ b/configure.ac @@ -143,6 +143,13 @@ AC_ARG_WITH(safecode, ]) ]) +AC_ARG_WITH(ctgrind, +[AS_HELP_STRING(--with-ctgrind,For maintainers only - please do not use)], +[AS_IF([test "x$withval" = "xyes"], [ + AC_CHECK_LIB(ctgrind, ct_poison, [LIBS="$LIBS -lctgrind"]) + ]) +]) + ENABLE_CWFLAGS=no AC_ARG_ENABLE(debug, [AS_HELP_STRING(--enable-debug,For maintainers only - please do not use)],