无法安装 z3

Question

我正在尝试使用 make/g++ 和 Python 从源代码（v. 4.3.1.，2013 年 11 月，z3-89c1785b7322）构建 Z3，结果如下

 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++'

我不知道这是否应该是一个致命的错误。 继续，好像它不是，

 cd build
 make

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

 sudo make install

失败并显示错误

 No rule to make target `install`

（也没有"卸载"的目标。

感谢任何帮助

Answer 1

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