2014-01-17 61 views
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` 

(但也沒有目標, '卸載'。)

感謝所有幫助

回答

0

加上Z3來源你應該已經收到了示例目錄。配置失敗,因爲它找不到examples/C++目錄(其中應該有一個名爲example.cpp的文件)。此時,只有部分Makefile已被寫入,足以讓主目標成功,但安裝目標尚未寫入Makefile,這就是它失敗的原因。