我正在尝试从其python接口使用Z3，但我不想进行系统范围的安装（即sudo make install）。我尝试使用--prefix进行本地安装，但Makefile是硬编码安装到系统的python目录中。
最好的情况，我想直接从构建中运行z3，就像我使用z3二进制文件（build / z3）一样。有没有人知道如何或有脚本直接从构建目录运行z3py而不进行安装？
答案 0 :(得分：1)
是的，您可以通过在LD_LIBRARY_PATH和PYTHONPATH环境变量中包含构建目录来实现此目的。
答案 1 :(得分：0)
如果您不关心python界面，请编辑build/Makefile并注释掉或删除install目标中的以下行：
@cp libz3$(SO_EXT) /usr/lib/python2.7/dist-packages/libz3$(SO_EXT)
@cp z3*.pyc /usr/lib/python2.7/dist-packages