mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Added LICENSE.txt to win bin distrib

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-30 16:42:05 -07:00
parent ec907a4705
commit 3a4838c6db
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scripts/mk_win_dist.py
View file

@ -235,6 +235,10 @@ def cp_vs_runtime():
cp_vs_runtime_core(True) cp_vs_runtime_core(True)
cp_vs_runtime_core(False) cp_vs_runtime_core(False)
def cp_license():
shutil.copy("LICENSE.txt", "%s/%s" % (DIST_DIR, get_dist_path(True)))
shutil.copy("LICENSE.txt", "%s/%s" % (DIST_DIR, get_dist_path(False)))
# Entry point # Entry point
def main(): def main():
if os.name != 'nt': if os.name != 'nt':
@ -245,6 +249,7 @@ def main():
mk_z3() mk_z3()
init_project_def() init_project_def()
mk_dist_dir() mk_dist_dir()
cp_license()
cp_vs_runtime() cp_vs_runtime()
mk_zip() mk_zip()