add pdb to distribution components

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 21, 2019 · aef0c19 · aef0c19
1 parent e550424
commit aef0c19
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
@@ -1406,6 +1406,8 @@ def mk_win_dist(self, build_path, dist_path):
             mk_dir(os.path.join(dist_path, INSTALL_BIN_DIR))
             shutil.copy('%s.dll' % os.path.join(build_path, self.dll_name),
                         '%s.dll' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name))
+            shutil.copy('%s.pdb' % os.path.join(build_path, self.dll_name),
+                        '%s.pdb' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name))
             shutil.copy('%s.lib' % os.path.join(build_path, self.dll_name),
                         '%s.lib' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name))
 
@@ -1775,6 +1777,8 @@ def mk_win_dist(self, build_path, dist_path):
             mk_dir(os.path.join(dist_path, INSTALL_BIN_DIR))
             shutil.copy('%s.dll' % os.path.join(build_path, self.dll_name),
                         '%s.dll' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name))
+            shutil.copy('%s.pdb' % os.path.join(build_path, self.dll_name),
+                        '%s.pdb' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name))
             shutil.copy('%s.deps.json' % os.path.join(build_path, self.dll_name),
                         '%s.deps.json' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name))
             if DEBUG_MODE: