Reputation: 1135
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.
Upvotes: 98
Views: 175088
Reputation: 1
try which gcc
I installed fsl and the gcc pointed to /home/$$$/fsl/bin/gcc.
mv /home/***/fsl/bin/gcc /home/***/fsl/bin/gcc.bak
can solve this.
python in fsl has the same problem.
Upvotes: 0
Reputation: 520
Install zlib from it's source, solve my similar error. Download last version from this then:
configure
make -j4
make install
Upvotes: 8
Reputation: 166919
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.
Upvotes: 179