Compilation source code

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

I try to build z3 ( to get z3.lib but when I type python I get the following error:
File line 81
print "dos2unix '%s'" % fname

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
Oct 27, 2013 at 3:09 PM
Edited Oct 27, 2013 at 3:13 PM
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!