Commits

Leonardo de Moura committed d909852

fixed z3py build

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

  • Participants
  • Parent commits 573f3d1

Comments (0)

Files changed (1)

scripts/mk_util.py

         print "Python bindinds directory was detected."
 
 def add_z3py_example(p):
+    mk_dir(BUILD_DIR)
     full = '%s/%s' % (EXAMPLE_DIR, p)
     for py in filter(lambda f: f.endswith('.py'), os.listdir(full)):
         shutil.copyfile('%s/%s' % (full, py), '%s/%s' % (BUILD_DIR, py))