From 7eb401b891904d9fed35764841c573db250103e8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 3 Mar 2025 07:15:29 -0800 Subject: [PATCH] extract paths within zip file Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index f550a769f..e35a49d42 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -81,13 +81,21 @@ def unpack(packages, symbols, arch): 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): + found_path = False + # check that file1 exists in zip_ref: + try: zip_ref.extract(file1, f"{tmp}") replace(f"{tmp}/{package_dir}/bin/{b}", f"out/lib/netstandard2.0/{b}") - elif os.path.exists(file2): + found_path = True + except: + pass + try: zip_ref.extract(file2, f"{tmp}") replace(f"{tmp}/{package_dir}/bin/netstandard2.0/{b}", f"out/lib/netstandard2.0/{b}") - else: + found_path = True + except: + pass + if not found_path: print(f"Could not find file path {file1} nor {file2}") print(tmp, os.listdir(tmp)) print(tmp_package_dir, os.listdir(tmp_package_dir))