X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=02003a27606f688ed14cac47bf85ac2e5b302e65;hb=b485afa83b0747b743346a372fc608bc1bb34992;hp=e3da678e616eda184b1f8fdd487af66d93e263a9;hpb=19c82c5e8a0daa25d5fb90b2a0c3afdae36fa471;p=pspp-builds.git

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