語法錯誤：無效的語法，同時建立Z3

Question

我下載了從主分支Z3的源代碼，並試圖構建它，這就造成了以下錯誤：

c:\Program Files\z3>python --version 
Python 3.3.2 

c:\Program Files\z3>python scripts\mk_make.py 
Traceback (most recent call last): 
    File "scripts\mk_make.py", line 9, in <module> 
    from mk_util import * 
    File "c:\Program Files\z3\scripts\mk_util.py", line 81 
    print "dos2unix '%s'" % fname 
         ^
SyntaxError: invalid syntax 

難道我做錯了什麼？

Answer 1

master分支只能用於Python 2.7.x. 不穩定的（working-in-progress）分支應該與Python 3.x一起工作。 Here are instructions編譯正在運行的分支。