CODEWITHSUNDEEP
pythonz3
user311703
user311703

Reputation: 1133

Compile Z3python?

I want to have Z3python on my Ubuntu 12.04 64-bit. I downloaded Z3 source, and compiled like below:

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

Everything went well, but then I tried:

$ 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

It seems Z3python is not installed yet? I followed exactly the instructions in README, but it seems to miss something regarding Python binding?

Upvotes: 1

Views: 633

Answers (1)

user311703
user311703

Reputation: 1133

please ignore, what i got is the old version of Z3.

a recommendation: please provide the source code of the latest Z3 in the homepage. i couldnt find it anywhere, then wrongly got the old version. finally, i had to download the latest version from the SourceControl, which was a bit tricky.

Upvotes: 1

Related Questions