use*_*108 14 compilation zlib header-files
我正在尝试在Kali Linux 64位上编译miniSAT,但我不断收到错误消息:
致命错误:zlib.h:没有这样的文件或目录
我已经读过,可能存在链接问题,导致编译器无法找到头文件,但我是Linux的新手,不知道如何解决这个问题.
ken*_*orb 20
您应该安装zlib的开发支持文件,尝试:
sudo apt-get install libz-dev
其他包装名称:zlib1g-dev.
如果您已经拥有zlib库,请确保使用的是编译代码源-lz.请参阅:在Ubuntu缺少zlib.h.
从它的源代码安装 zlib，解决我的类似错误。从去年下载版本这则：
configure
make -j4
make install
| 归档时间： |
|
| 查看次数： |
24311 次 |
| 最近记录： |