X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=configure.ac;h=02003a27606f688ed14cac47bf85ac2e5b302e65;hb=e48df05eeeb85838526a03a3371964f5f6b14321;hp=49f3a0b321a88051c1bc9c080cc351ac492efb0c;hpb=72318eac4782acf0215da8dfd4575ac66a9a9f74;p=pspp

diff --git a/configure.ac b/configure.ac
index 49f3a0b321..02003a2760 100644
--- a/configure.ac
+++ b/configure.ac
@@ -77,16 +77,21 @@ 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
 
 AC_C_CONST
 AC_C_INLINE
-AC_TYPE_OFF_T
+dnl  Dont use AC_TYPE_OFF_T --- it doesnt generate the HAVE_TYPE macro
+AC_CHECK_TYPES(off_t) 
 AC_TYPE_SIZE_T
 AC_STRUCT_TM