Compilation source code

Oct 27, 2013 at 2:43 PM
Edited Oct 27, 2013 at 2:44 PM
Hello,

I try to build z3 (http://z3.codeplex.com/SourceControl/latest#README) to get z3.lib but when I type python mk_make.py I get the following error:
File ...mk_util.py line 81
print "dos2unix '%s'" % fname
SyntaxError

If I remove this line I get another error on another "print".
If I remove all prints I still have errors...
I have python v3.3.2

Any help would be appreciated
Bests,
Oct 27, 2013 at 3:09 PM
Edited Oct 27, 2013 at 3:13 PM
*
Coordinator
Oct 28, 2013 at 1:51 PM
Are you using the master branch? Some of the bugfixes for python version 3.* haven't been added there yet. Could you retry using the unstable branch? Instructions on how to get/build this can be obtained here.
Oct 29, 2013 at 4:10 PM
I used the master branch indeed. However I downloaded python v2.6 and the script works with this version, thanks anyway!