python - 修复路径以便 python 可以识别 z3 模块

Question

我已经在我不是 root 的远程服务器上成功安装了 z3。当我尝试运行我的 python 代码时，我得到:

ModuleNotFoundError: No module named 'z3'

我知道我必须将它添加到 PYTHONPATH 才能工作，所以我继续这样做:

export PYTHONPATH=$HOME/usr/lib/python-2.7/site-packages:$PYTHONPATH

不过我仍然遇到同样的问题，如何验证它是否已正确添加到变量环境中？我做错了什么？

Answer 1

调用scripts/mk_make.py时是否传递了--python标志？

请参阅 https://github.com/Z3Prover/z3/blob/master/README.md 上的说明关于如何准确启用 Python(在该页面中一直向下)。这是一个示例调用:

python scripts/mk_make.py --prefix=/home/leo --python --pypkgdir=/home/leo/lib/python-2.7/site-packages

当然，适本地更改目录。