SyntaxError:生成z3时语法无效

我从主分支下载了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

c:\ProgramFiles\z3>python——版本
Python 3.3.2
c:\Program Files\z3>python脚本\mk_make.py
回溯（最近一次呼叫最后一次）：
文件“scripts\mk_make.py”，第9行，在
从mk_util导入*
文件“c:\Program Files\z3\scripts\mk_util.py”，第81行
打印“dos2unix'%s'”%fname
^
SyntaxError:无效语法

---

我做错什么了吗？

主分支仅适用于Python 2.7.x。 不稳定（正在工作）分支应该与Python3.x一起工作。 编译“正在工作”分支