我正在尝试在 Kali Linux 64 位上编译 miniSAT,但我不断收到错误消息:
致命错误:zlib.h:没有这样的文件或目录
我读到可能存在链接问题,导致编译器无法找到头文件,但我是 Linux 新手,不知道如何解决这个问题。
您应该安装 zlib 的开发支持文件,尝试:
sudo apt-get install libz-dev
其他包名:
zlib1g-dev
.
如果您已经有了
zlib
库,请确保使用 -lz
编译代码源。请参阅:ubuntu 中缺少 zlib.h。
/fsl/bin/gcc。 mv /home//fsl/bin/gcc /home/***/fsl/bin/gcc.bak 可以解决这个问题。 fsl 中的 python 也有同样的问题。