diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index c271a322c..f550a769f 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -77,9 +77,10 @@ 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: - dir = os.path.join(tmp, package_dir, "bin") - file1 = os.path.join(dir, b) - file2 = os.path.join(dir, "netstandard2.0", b) + tmp_package_dir = os.path.join(tmp, package_dir) + tmp_bin_dir = os.path.join(tmp_package_dir, "bin") + file1 = os.path.join(tmp_bin_dir, b) + file2 = os.path.join(tmp_bin_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}") @@ -88,8 +89,9 @@ 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)) + print(tmp, os.listdir(tmp)) + print(tmp_package_dir, os.listdir(tmp_package_dir)) + print(tmp_bin_dir, os.listdir(tmp_bin_dir)) def mk_targets(source_root):