CODEWITHSUNDEEP
z3
Martin
Martin

Reputation: 189

SyntaxError: invalid syntax while building z3

I downloaded z3 source codes from the master branch and tried to build it, which resulted in the following error:

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

Am I doing something wrong?

Upvotes: 0

Views: 202

Answers (1)

Leonardo de Moura
Leonardo de Moura

Reputation: 21475

The master branch only works with Python 2.7.x. The unstable (working-in-progress) branch should work with Python 3.x. Here are instructions to compile the working-in-progress branch.

Upvotes: 1

Related Questions