From b485afa83b0747b743346a372fc608bc1bb34992 Mon Sep 17 00:00:00 2001 From: John Darrington Date: Mon, 21 Feb 2005 07:13:35 +0000 Subject: [PATCH] Added a --without-valgrind option to configure to cope with broken valgrind implementations --- ChangeLog | 5 +++++ configure.ac | 8 ++++++-- 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index fb7208f5..6d73da39 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +Mon Feb 21 15:04:55 WST 2005 John Darrington + + * configure.ac: Added a --without-valgrind option to cope with + building on machines with a broken valgrind installation + Fri Jan 7 08:01:02 WST 2005 John Darrington * configure.ac pref.h.orig: Compilation with libplot is now optional diff --git a/configure.ac b/configure.ac index e3da678e..02003a27 100644 --- a/configure.ac +++ b/configure.ac @@ -77,9 +77,13 @@ if test "$ac_cv_lib_readline_readline" = yes; then fi dnl Checks for header files. +AC_ARG_WITH(valgrind, [ --without-valgrind don't compile in valgrind]) +if test "x$with_valgrind" != x"no"; then + AC_CHECK_HEADERS([valgrind/valgrind.h]) +fi AC_CHECK_HEADERS([limits.h memory.h sys/stat.h sys/time.h sys/types.h \ - fpu_control.h sys/mman.h sys/wait.h ieeefp.h fenv.h \ - valgrind/valgrind.h]) + fpu_control.h sys/mman.h sys/wait.h ieeefp.h fenv.h] ) + AC_HEADER_STAT AC_HEADER_STDC AC_HEADER_TIME -- 2.30.2