python - 我可以在不进行系统范围安装的情况下使用 Z3Py 吗？

Question

我正在尝试从其 python 界面使用 Z3，但我不希望进行系统范围的安装(即 sudo make install)。我尝试使用 --prefix 进行本地安装，但是 Makefile 被硬编码为安装到系统的 python 目录中。

最好的情况是，我想直接从构建中运行 z3，就像我使用 z3 二进制文件 (build/z3) 一样。有谁知道如何或有脚本直接从构建目录运行 z3py，而无需进行安装？

Answer 1

是的，您可以通过将构建目录包含在您的 LD_LIBRARY_PATH 和 PYTHONPATH 环境变量中来实现。