From f02d2ee0e3fd0b071ed6354105fa47012e4153e8 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 12 Dec 2012 07:09:26 -0800 Subject: [PATCH] fixed missing libz3.lib file in the z3 binary distribution for windows (thanks to GManNickG) Signed-off-by: Leonardo de Moura --- scripts/mk_util.py | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 381f92def..dc0c71ea2 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -933,10 +933,8 @@ class DLLComponent(Component): mk_dir(os.path.join(dist_path, 'bin')) shutil.copy('%s.dll' % os.path.join(build_path, self.dll_name), '%s.dll' % os.path.join(dist_path, 'bin', self.dll_name)) - if self.static: - mk_dir(os.path.join(dist_path, 'bin')) - shutil.copy('%s.lib' % os.path.join(build_path, self.dll_name), - '%s.lib' % os.path.join(dist_path, 'bin', self.dll_name)) + shutil.copy('%s.lib' % os.path.join(build_path, self.dll_name), + '%s.lib' % os.path.join(dist_path, 'bin', self.dll_name)) class DotNetDLLComponent(Component): def __init__(self, name, dll_name, path, deps, assembly_info_dir):