0
我試圖從源代碼建立Z3(第4.3.1。11月2013年,z3-89c1785b7322),使用make/G ++和Python,結果如下無法安裝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`
(但也沒有目標, '卸載'。)
感謝所有幫助