From 56eaf3284daf1d5c7efd11d8db0b5e36404ae786 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 16 Aug 2010 22:07:05 +0000
Subject: [PATCH] add zlib checks to configure (new minisat requires it?)

---
 configure.ac | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/configure.ac b/configure.ac
index 4c90dfd9c..21f2a9a8b 100644
--- a/configure.ac
+++ b/configure.ac
@@ -630,6 +630,8 @@ if test -n "$CXXTEST"; then
 fi
 
 # Checks for libraries.
+AC_CHECK_LIB(z, gzread, , [AC_MSG_ERROR([zlib required, install your distro's zlib-dev package or see www.zlib.net])])
+AC_CHECK_HEADER(zlib.h, , [AC_MSG_ERROR([zlib required, install your distro's zlib-dev package or see www.zlib.net])])
 
 # Check for antlr C++ runtime (defined in config/antlr.m4)
 AC_LIB_ANTLR
-- 
2.30.2