From 4f7b6c794ef87e02076aa5c09c1a127e3cdc4090 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 21 Dec 2024 13:10:05 +0100 Subject: [PATCH] always copy Microsoft.Z3.xml into package directory #7482 --- scripts/mk_nuget_task.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 9de592c08..a53012fc9 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -75,9 +75,7 @@ def unpack(packages, symbols, arch): if symbols: zip_ref.extract(f"{package_dir}/bin/libz3.pdb", f"{tmp}") replace(f"{tmp}/{package_dir}/bin/libz3.pdb", f"out/runtimes/{dst}/native/libz3.pdb") - files = ["Microsoft.Z3.dll"] - if symbols: - files += ["Microsoft.Z3.pdb", "Microsoft.Z3.xml"] + files = ["Microsoft.Z3.dll", "Microsoft.Z3.pdb", "Microsoft.Z3.xml"] for b in files: file = f"{package_dir}/bin/{b}" if os.path.exists(file):