我正在尝试在Kali Linux 64位上编译miniSAT，但我不断收到错误消息：
致命错误：zlib.h：没有这样的文件或目录
我已经读过可能存在一个链接问题，导致编译器无法找到头文件，但我是Linux新手，不知道如何解决这个问题。
答案 0 :(得分：10)
您应该安装zlib的开发支持文件，请尝试：
sudo apt-get install libz-dev
其他包名：zlib1g-dev。
如果您已经zlib库，请确保使用-lz编译代码来源。请参阅：missing zlib.h in ubuntu。
答案 1 :(得分：0)
在运行Makefile时，我在CentOS7上遇到了zlib.h错误，并认为我的怪异解决方案也可能适用于其他人。
即使我是root，我也跑了：
sudo make
我仍然不知道这是怎么发生的，但是对我有用。
答案 2 :(得分：0)
从源代码安装zlib，解决我类似的错误。 从this下载最新版本，然后：
configure
make -j4
make install