From 62616cf37c904df3bd7e3e6c31e9381fd0017095 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 2 Mar 2025 17:13:03 -0800 Subject: [PATCH] fixup nuget task Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 79b14fd6a..7ccadd590 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -77,8 +77,9 @@ def unpack(packages, symbols, arch): replace(f"{tmp}/{package_dir}/bin/libz3.pdb", f"out/runtimes/{dst}/native/libz3.pdb") files = ["Microsoft.Z3.dll", "Microsoft.Z3.pdb", "Microsoft.Z3.xml"] for b in files: - file1 = f"{package_dir}/bin/{b}" - file2 = os.path.join(file1,"netstandard2.0") + dir = os.path.join(tmp, package_dir, "bin") + file1 = os.path_join(dir, b) + file2 = os.path.join(dir, "netstandard2.0", b) if os.path.exists(file1): zip_ref.extract(file1, f"{tmp}") replace(f"{tmp}/{package_dir}/bin/{b}", f"out/lib/netstandard2.0/{b}") @@ -87,6 +88,8 @@ def unpack(packages, symbols, arch): replace(f"{tmp}/{package_dir}/bin/netstandard2.0/{b}", f"out/lib/netstandard2.0/{b}") else: print(f"Could not find file path {file1} nor {file2}") + print(os.listdir(dir)) + print(os.listdir(tmp)) def mk_targets(source_root):