Fail to execute the mk_make.py

May 26, 2014 at 9:39 AM
Hi,

I'm trying to use z3 for my project. What I has done is:
Following the instructions here:
http://research.microsoft.com/en-us/um/people/leonardo/blog/2012/12/10/z3-for-java.html

When I tried to using python to execute the mk_make.py.The problem was roused.The detail information was:FIle"D:/Git/z3/scripts/mk_make.py",raise MKException("Python bindings directory '%s‘ ,does not exist"% full)
mk_exception .MKException:"Python bindings direectory 'src\api\python'does not exist"

So can you help me to solve the problem?
Coordinator
May 29, 2014 at 1:36 PM
This sounds like your copy of the sources is incomplete. Does the directory D:/Git/z3/src/api/python exist?