编译Z3python？

我想在我的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

$python
Python 2.7.3（默认值，2012年9月26日，21:51:14）
[GCC 4.7.2]关于linux2
有关详细信息，请键入“帮助”、“版权”、“信用证”或“许可证”。
>>>进口z3
回溯（最近一次呼叫最后一次）：
文件“”，第1行，在
ImportError:没有名为z3的模块

---

似乎Z3python尚未安装？我完全按照自述文件中的说明进行了操作，但它似乎遗漏了一些关于Python绑定的内容？

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

---

建议：请在主页中提供最新Z3的源代码。我到处都找不到，然后错误地得到了旧版本。最后，我不得不从SourceControl下载最新版本，这有点棘手。

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

---

建议：请在主页中提供最新Z3的源代码。我到处都找不到，然后错误地得到了旧版本。最后，我不得不从SourceControl下载最新版本，这有点棘手。

我们不提供源代码的zip文件，因为codeplex可以为代码库的任何版本/提交/分支生成zip文件。如果是这样，请在主页上提供zip文件的链接，这样其他人就不会错误地获取旧源。如果是这样，至少请在主页上提供zip文件的链接，这样其他人就不会错误地获取旧源。在SourceControl界面中查找到zip文件的链接有点棘手，而且不直观。谢谢我不久前就试过了。不幸的是，出于某种奇怪的原因，下载按钮不是一个真正的链接，而是一些javascript内容。因此，我无法在主页中添加链接。我添加了一些说明。我还在旧的zip文件中添加了一个警告，说它们不是最新版本。我们不提供源代码的zip文件，因为codeplex可以为代码库的任何版本/提交/分支生成zip文件。如果是这样，请在主页上提供zip文件的链接，这样其他人就不会错误地获取旧源。如果是这样，至少请在主页上提供zip文件的链接，这样其他人就不会错误地获取旧源。在SourceControl界面中查找到zip文件的链接有点棘手，而且不直观。谢谢我不久前就试过了。不幸的是，出于某种奇怪的原因，下载按钮不是一个真正的链接，而是一些javascript内容。因此，我无法在主页中添加链接。我添加了一些说明。我还在旧的zip文件中添加了一条警告，说它们不是最新版本。