mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

include VS redist .dlls in the win dist

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-30 14:17:02 -07:00
parent 01d784b557
commit 5060b617ab
2 changed files with 65 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

10
scripts/mk_util.py
View file

@ -568,9 +568,9 @@ class DLLComponent(Component):
def mk_win_dist(self, build_path, dist_path):
if self.install:
mk_dir('%s/lib' % dist_path)
mk_dir('%s/bin' % dist_path)
shutil.copy('%s/%s.dll' % (build_path, self.dll_name),
'%s/lib/%s.dll' % (dist_path, self.dll_name))
'%s/bin/%s.dll' % (dist_path, self.dll_name))
class DotNetDLLComponent(Component):
def __init__(self, name, dll_name, path, deps, assembly_info_dir):
@ -619,9 +619,9 @@ class DotNetDLLComponent(Component):
def mk_win_dist(self, build_path, dist_path):
# Assuming all DotNET dll should be in the distribution
mk_dir('%s/lib' % dist_path)
mk_dir('%s/bin' % dist_path)
shutil.copy('%s/%s.dll' % (build_path, self.dll_name),
'%s/lib/%s.dll' % (dist_path, self.dll_name))
'%s/bin/%s.dll' % (dist_path, self.dll_name))
class ExampleComponent(Component):
def __init__(self, name, path):
@ -1346,4 +1346,4 @@ def mk_win_dist(build_path, dist_path):
# Add Z3Py to lib directory
for pyc in filter(lambda f: f.endswith('.pyc'), os.listdir(build_path)):
shutil.copy('%s/%s' % (build_path, pyc),
'%s/lib/%s' % (dist_path, pyc))
'%s/bin/%s' % (dist_path, pyc))