【发布时间】:2016-07-22 07:39:30
【问题描述】:
我正在尝试在 Kali Linux 64 位上编译 miniSAT,但我不断收到错误消息:
致命错误:zlib.h:没有这样的文件或目录
我读到可能存在导致编译器无法找到头文件的链接问题,但我是 Linux 新手,不知道如何解决。
【问题讨论】:
标签: compilation header-files zlib
我正在尝试在 Kali Linux 64 位上编译 miniSAT,但我不断收到错误消息:
致命错误:zlib.h:没有这样的文件或目录
我读到可能存在导致编译器无法找到头文件的链接问题,但我是 Linux 新手,不知道如何解决。
【问题讨论】:
标签: compilation header-files zlib
你应该安装zlib的开发支持文件,试试:
sudo apt-get install libz-dev
其他包名:zlib1g-dev.
如果您已经拥有zlib 库,请确保您正在使用-lz 编译您的代码源。见:missing zlib.h in ubuntu。
【讨论】:
从它的源安装 zlib,解决我的类似错误。 从this 下载最新版本然后:
configure
make -j4
make install
【讨论】: