zlib not required; remove configure's dependency on it

diff --git a/configure.ac b/configure.ac
index 3ea9d3457797bc8aa3b80e3b4237d25ba99a6f5e..2687ccb3fa16922bc40eb062b3fb105177704a88 100644 (file)
--- 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