From 1a09523c9949e1674206bd554cafb14fb7227dc4 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 27 Dec 2012 09:10:13 -0800 Subject: [PATCH] Fix mk_make bug introduced yesterday Signed-off-by: Leonardo de Moura --- scripts/mk_util.py | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 242e8797a..e4f860a95 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1959,11 +1959,14 @@ def cp_z3py_to_build(): if is_verbose(): print("Generated '%s'" % pyc) # Python 3.x support - for pyc in filter(lambda f: f.endswith('.pyc'), os.listdir(os.path.join(Z3PY_SRC_DIR, '__pycache__'))): - mk_dir(os.path.join(BUILD_DIR, '__pycache__')) - shutil.copyfile(os.path.join(Z3PY_SRC_DIR, '__pycache__', pyc), os.path.join(BUILD_DIR, '__pycache__', pyc)) - if is_verbose(): - print("Generated '%s'" % pyc) + src_pycache = os.path.join(Z3PY_SRC_DIR, '__pycache__') + if os.path.exists(src_pycache): + for pyc in filter(lambda f: f.endswith('.pyc'), os.listdir(src_pycache)): + target_pycache = os.path.join(BUILD_DIR, '__pycache__') + mk_dir(target_pycache) + shutil.copyfile(os.path.join(src_pycache, pyc), os.path.join(target_pycache, pyc)) + if is_verbose(): + print("Generated '%s'" % pyc) def mk_bindings(api_files): if not ONLY_MAKEFILES: