Installation 无法安装z3

我正试图从sources v构建Z3。4.3.1.，2013年11月，z3-89c1785b7322，使用make/g++和Python，结果如下

 autoconf                       -- succeeded
 ./configure                    -- succeeded
 python scripts/mk_make.py      -- error message, given below

Traceback (most recent call last):

File "scripts/mk_make.py", line 20, in <module>
mk_makefile()

File "/home/davidg/z3/scripts/mk_util.py", line 854, in mk_makefile
c.mk_makefile(out)

File "/home/davidg/z3/scripts/mk_util.py", line 666, in mk_makefile
for cppfile in self.src_files():

File "/home/davidg/z3/scripts/mk_util.py", line 659, in src_files
return get_cpp_files(self.ex_dir)

File "/home/davidg/z3/scripts/mk_util.py", line 246, in get_cpp_files
return filter(lambda f: f.endswith('.cpp'), os.listdir(path))

OSError: [Errno 2] No such file or directory: 'examples/c++'

似乎成功了，以Z3成功构建的消息作为结束。下一步

 sudo make install

由于错误而失败

 No rule to make target `install`

也没有“卸载”的目标

---

感谢您的帮助以及Z3资源，您应该已经收到示例目录。配置失败，因为它找不到examples/c++目录，其中应该有一个名为example.cpp的文件。此时，只写入了Makefile的一部分，足以使主目标成功，但安装目标尚未写入Makefile，这就是它失败的原因。

看起来v4.8.8不再是问题。 z3可以通过以下命令构建和安装

git clone https://github.com/Z3Prover/z3.git
cd z3

python3 scripts/mk_make.py --python
cd build
make
sudo make install

pip3 install z3-solver

它将提供C/C++和Python API

发件人：

git clone https://github.com/Z3Prover/z3.git
cd z3

python3 scripts/mk_make.py --python
cd build
make
sudo make install

pip3 install z3-solver