From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 20 Feb 2012 18:22:27 +0000 (+0000)
Subject: zlib not required; remove configure's dependency on it
X-Git-Tag: cvc5-1.0.0~8322
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=63e0081c8639827b4cfef5fea32f4e7265e4a93d;p=cvc5.git

zlib not required; remove configure's dependency on it
---

diff --git a/configure.ac b/configure.ac
index 3ea9d3457..2687ccb3f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -808,8 +808,6 @@ if test -z "$PYTHON"; 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 libreadline (defined in config/readline.m4)
 CVC4_CHECK_FOR_READLINE