From 3a4838c6dbe4e64f534f64ba8257070258c6b8c8 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 30 Oct 2012 16:42:05 -0700 Subject: [PATCH] Added LICENSE.txt to win bin distrib Signed-off-by: Leonardo de Moura --- scripts/mk_win_dist.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py index 03cbd9f06..3cebce7f6 100644 --- a/scripts/mk_win_dist.py +++ b/scripts/mk_win_dist.py @@ -235,6 +235,10 @@ def cp_vs_runtime(): cp_vs_runtime_core(True) 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 def main(): if os.name != 'nt': @@ -245,6 +249,7 @@ def main(): mk_z3() init_project_def() mk_dist_dir() + cp_license() cp_vs_runtime() mk_zip()