diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-08-16 22:07:05 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-08-16 22:07:05 +0000 |
commit | 56eaf3284daf1d5c7efd11d8db0b5e36404ae786 (patch) | |
tree | abcd1abe67f54fc64df78f2679fcf4928a67e3c3 | |
parent | 7c5ed2290cff5247df673b87d9401993d3ca0fc3 (diff) |
add zlib checks to configure (new minisat requires it?)
-rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
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 |