2

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

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

4

2 回答 2

1

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

于 2012-12-05T19:09:41.573 回答
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
于 2014-06-11T12:02:45.570 回答