我正在尝试在Kali Linux 64位上编译miniSAT,但是我一直收到以下错误消息:
致命错误:zlib.h:没有那个文件或目录
我看到可能会存在链接问题,导致编译器无法找到头文件,但我是Linux的新手,不知道如何解决该问题。
我正在尝试在Kali Linux 64位上编译miniSAT,但是我一直收到以下错误消息:
致命错误:zlib.h:没有那个文件或目录
我看到可能会存在链接问题,导致编译器无法找到头文件,但我是Linux的新手,不知道如何解决该问题。
你应该安装zlib的开发支持文件,尝试运行:
sudo apt-get install libz-dev
其他软件包名称:zlib1g-dev
。
如果您已经安装了zlib
库,请确保使用-lz
编译代码源文件。参见:在Ubuntu中缺失zlib.h。
yum install zlib-devel
。 - Rufat