Mac python3 安装z3包

问题

我在终端命令行直接输入 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. 大功告成

祝铁子们安装顺利!