无法安装z3

Question

我正在尝试使用make/g++和Python从源代码(v4.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`

(也没有‘uninstall’的目标。)

感谢任何帮助

Answer 1

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

Answer 2

看起来现在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。

来自：https://medium.com/@seunghyunchae7/installing-z3-theorem-prover-on-macos-bcc0b28bd485