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 で動作するはずです。 作業中のブランチをコンパイルする手順は次のとおりです。