2

PythonインターフェイスからZ3を使用しようとしていますが、システム全体のインストール（つまり、sudo make install）は実行したくありません。--prefixを使用してローカルインストールを実行しようとしましたが、Makefileはシステムのpythonディレクトリにインストールするようにハードコードされています。

最良の場合、z3バイナリ（build / z3）を使用するのと同じ方法で、ビルドから直接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 に答える