From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 16 Aug 2010 22:07:05 +0000 (+0000)
Subject: add zlib checks to configure (new minisat requires it?)
X-Git-Tag: cvc5-1.0.0~8889
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=56eaf3284daf1d5c7efd11d8db0b5e36404ae786;p=cvc5.git

add zlib checks to configure (new minisat requires it?)
---

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