From 786f8029f18263d7e81e2b4615b8b13241f1e047 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 6 Feb 2013 09:26:10 -0800 Subject: [PATCH] Add missing DLLs for Java in Windows binary distribution package Signed-off-by: Leonardo de Moura --- scripts/mk_util.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 98d9ad6f8..b5ec691cb 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1084,6 +1084,10 @@ class JavaDLLComponent(Component): mk_dir(os.path.join(dist_path, 'bin')) shutil.copy('%s.jar' % os.path.join(build_path, self.package_name), '%s.jar' % os.path.join(dist_path, 'bin', self.package_name)) + shutil.copy(os.path.join(build_path, 'libz3java.dll'), + os.path.join(dist_path, 'bin', 'libz3java.dll')) + shutil.copy(os.path.join(build_path, 'libz3java.lib'), + os.path.join(dist_path, 'bin', 'libz3java.lib')) class ExampleComponent(Component): def __init__(self, name, path):