问题
我在终端命令行直接输入 sudo pip3 install z3-solver,出现了奇怪的报错,内容大致是不能生成wheel之类的,试了各种解决方法都无效,期间还以为python3和z3不兼容,导致我在python的版本降级上做了一些尝试,后来发现不是这个问题,其实二者是兼容的,最终的解决方法是进入z3 的github官方网站,按照说明中的另外一个方法进行操作。如果你也有和我同样的问题,以下可供参考。
解决
1. 进入z3 的Github 官网,将源文件下载到本地
2. 在终端 cd 进入该文件夹内,执行以下命令
python scripts/mk_make.py --prefix=[安装路径] --python --pypkgdir=[python的site-package路径]
其中[python的site-package路径]可以通过以下命令查看
python3 -m site --user-site
[安装路径]可以设置为[python的site-package] /lib 前面的字段
3. 执行以上命令后,Makefile生成,可以按照提示进行下一步操作
cd build
make
4. 漫长的等待
5. 安装z3,执行命令
sudo make install
6. 大功告成
祝铁子们安装顺利!