blob: af48d251046b02ef02cf5be5b30aeec67f7dc79d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- a/configure.ac
+++ b/configure.ac
@@ -324,9 +324,7 @@
dnl 1. Abort and notify if no zlib.h. 2. Adapt for non-standard location.
AC_MSG_NOTICE([The minisat2 headers include zlib.h])
dnl The bundled library doesn't actually need -lz
- AX_CHECK_ZLIB([ZLIB_CPPFLAGS="-isystem $ZLIB_HOME/include"],
- [AC_MSG_NOTICE([No zlib library found - not building sat solver])
- enable_sat_solver=no])
+ PKG_CHECK_MODULES([ZLIB], [zlib], [ZLIB_CPPFLAGS="${ZLIB_CFLAGS}"])
fi
# If zlib not found, then don't continue with minisat.
|