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一起使用。 Here are instructions编译正在进行的分支。