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

2 Answers

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

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.