我正在尝试在 Kali Linux 64位上编译 miniSAT,但总是收到错误消息:
致命错误: zlib.h: 没有这样的文件或目录
我读到过,可能有一个链接问题,使编译器无法找到头文件,但我是 Linux 新手,不知道如何解决这个问题。
您应该安装 zlib 的开发支持文件,请尝试:
sudo apt-get install libz-dev
其他包名称: zlib1g-dev。
zlib1g-dev
如果您已经有了 zlib库,请确保您正在使用 -lz编译代码源。
zlib
-lz
从它的源代码安装 zlib,解决类似的错误。 然后从 这个下载最后一个版本:
configure make -j4 make install