问题
I'm trying to compile miniSAT on Kali Linux 64 bits but I keep getting the error message:
fatal error: zlib.h: no such file or directory
I have read that there might be a linking problem that makes the compiler unable to find the header files, but I'm new to Linux and do not know how to solve that.
回答1:
You should install the development support files for zlib, try:
sudo apt-get install libz-dev
Other package names: zlib1g-dev.
If you've already zlib library, make sure you're compiling your code sources with -lz. See: missing zlib.h in ubuntu.
回答2:
Install zlib from it's source, solve my similar error. Download last version from this then:
configure
make -j4
make install
来源：https://stackoverflow.com/questions/36374267/how-to-fix-fatal-error-zlib-h-no-such-file-or-directory