From 2c313ddb7a30c36084456e2d706f5e786291fdda Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Dec 2020 15:46:26 -0800 Subject: [PATCH] wrap remove/move Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 0e664588f8f..cdb2c1b07fd 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -37,7 +37,12 @@ def classify_package(f): return os_name, f[:-4], ext, dst return None - +def replace(src, dst): + try: + os.remove(dst) + except: + shutil.move(src, dst) + def unpack(packages): # unzip files in packages # out @@ -57,18 +62,15 @@ def unpack(packages): zip_ref = zipfile.ZipFile(path, 'r') zip_ref.extract(f"{package_dir}/bin/libz3.{ext}", "tmp") mk_dir(f"out/runtimes/{dst}/native") - os.remove(f"out/runtimes/{dst}/native/libz3.{ext}") - shutil.move(f"tmp/{package_dir}/bin/libz3.{ext}", f"out/runtimes/{dst}/native/.") + replace(f"tmp/{package_dir}/bin/libz3.{ext}", f"out/runtimes/{dst}/native/libz3.{ext}") if "x64-win" in f: zip_ref.extract(f"{package_dir}/bin/libz3.pdb", "tmp") mk_dir(f"out/runtimes/{dst}/native") - os.remove(f"out/runtimes/{dst}/native/libz3.pdb") - shutil.move(f"tmp/{package_dir}/bin/libz3.pdb", f"out/runtimes/{dst}/native/.") + replace(f"tmp/{package_dir}/bin/libz3.pdb", f"out/runtimes/{dst}/native/libz3.pdb") mk_dir("out/lib/netstandard1.4/") for b in ["Microsoft.Z3.dll", "Microsoft.Z3.pdb"]: zip_ref.extract(f"{package_dir}/bin/{b}", "tmp") - os.remove(f"out/lib/netstandard1.4/{b}") - shutil.move(f"tmp/{package_dir}/bin/{b}", f"out/lib/netstandard1.4/{b}") + replace(f"tmp/{package_dir}/bin/{b}", f"out/lib/netstandard1.4/{b}") def mk_targets(source_root): mk_dir("out/build")