From aef0c19d3652ab601099218e93a25db5e9c78287 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 21 Oct 2019 07:48:39 -0700 Subject: [PATCH] add pdb to distribution components Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 785eca791..a7b7a3b72 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1406,6 +1406,8 @@ class DLLComponent(Component): 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 @@ class DotNetDLLComponent(Component): 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: