语法错误：无效的语法，同时建立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编译正在运行的分支。