z3 - SyntaxError：构建 z3 时语法无效

Question

我从master分支下载了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。不稳定的（正在进行中的）分支应该适用于 Python 3.x。 以下是编译正在工作的分支的说明。