python - 编译 Z3python？

Question

我想在我的 Ubuntu 12.04 64 位上安装 Z3python。我下载了Z3源码，编译如下：

$autoconf
$./configure
$sudo make
$sudo make a
$sudo make o

一切顺利，但后来我尝试了：

$ python
Python 2.7.3 (default, Sep 26 2012, 21:51:14) 
[GCC 4.7.2] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> import z3
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ImportError: No module named z3

好像 Z3python 还没有安装？我完全按照自述文件中的说明进行操作，但似乎遗漏了有关 Python 绑定的内容？

Answer 1

请忽略，我得到的是旧版Z3。

推荐：请在首页提供最新Z3的源码。我在任何地方都找不到它，然后错误地得到了旧版本。最后，我不得不从 SourceControl 下载最新版本，这有点棘手。