Added a --without-valgrind option to configure

[pspp-builds.git] / configure.ac

diff --git a/configure.ac b/configure.ac
index e3da678e616eda184b1f8fdd487af66d93e263a9..02003a27606f688ed14cac47bf85ac2e5b302e65 100644 (file)
--- 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