From f228c3f21021ccbe216d4aa8485f99295d44f4d9 Mon Sep 17 00:00:00 2001
From: Matthias Benkard <code@mail.matthias.benkard.de>
Date: Sun, 27 Jan 2008 12:51:01 +0100
Subject: Do not bother looking for ffi.h if libffi cannot be found.

darcs-hash:788678e11c9fb3e49d5906747cbf7f94319e872b
---
 configure.ac | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index c79078a..6fac92b 100644
--- a/configure.ac
+++ b/configure.ac
@@ -27,7 +27,9 @@ AC_PROG_MAKE_SET
 AC_SEARCH_LIBS([ffi_call], [ffi], [HAVE_LIBFFI=1; break], [HAVE_LIBFFI=0])
 
 HAVE_ANY_FFI_H=0
-AC_CHECK_HEADERS([ffi.h ffi/ffi.h], [HAVE_ANY_FFI_H=1; break])
+if test x$HAVE_LIBFFI = x1; then
+  AC_CHECK_HEADERS([ffi.h ffi/ffi.h], [HAVE_ANY_FFI_H=1; break])
+fi
 
 AC_SUBST(HAVE_ANY_FFI_H)
 AC_SUBST(HAVE_LIBFFI)
-- 
cgit v1.2.3