Skip to content

Commit d714f1b

Browse files
update path
Signed-off-by: Nikolaj Bjorner <[email protected]>
1 parent 7eb401b commit d714f1b

File tree

1 file changed

+4
-9
lines changed

1 file changed

+4
-9
lines changed

scripts/mk_nuget_task.py

+4-9
Original file line numberDiff line numberDiff line change
@@ -77,29 +77,24 @@ def unpack(packages, symbols, arch):
7777
replace(f"{tmp}/{package_dir}/bin/libz3.pdb", f"out/runtimes/{dst}/native/libz3.pdb")
7878
files = ["Microsoft.Z3.dll", "Microsoft.Z3.pdb", "Microsoft.Z3.xml"]
7979
for b in files:
80-
tmp_package_dir = os.path.join(tmp, package_dir)
81-
tmp_bin_dir = os.path.join(tmp_package_dir, "bin")
82-
file1 = os.path.join(tmp_bin_dir, b)
83-
file2 = os.path.join(tmp_bin_dir, "netstandard2.0", b)
80+
file1 = f"{package_dir}/bin/{b}"
81+
file2 = f"{package_dir}/bin/netstandard2.0/{b}"
8482
found_path = False
8583
# check that file1 exists in zip_ref:
8684
try:
8785
zip_ref.extract(file1, f"{tmp}")
88-
replace(f"{tmp}/{package_dir}/bin/{b}", f"out/lib/netstandard2.0/{b}")
86+
replace(f"{tmp}/{file1}", f"out/lib/netstandard2.0/{b}")
8987
found_path = True
9088
except:
9189
pass
9290
try:
9391
zip_ref.extract(file2, f"{tmp}")
94-
replace(f"{tmp}/{package_dir}/bin/netstandard2.0/{b}", f"out/lib/netstandard2.0/{b}")
92+
replace(f"{tmp}/{file2}", f"out/lib/netstandard2.0/{b}")
9593
found_path = True
9694
except:
9795
pass
9896
if not found_path:
9997
print(f"Could not find file path {file1} nor {file2}")
100-
print(tmp, os.listdir(tmp))
101-
print(tmp_package_dir, os.listdir(tmp_package_dir))
102-
print(tmp_bin_dir, os.listdir(tmp_bin_dir))
10398

10499

105100
def mk_targets(source_root):

0 commit comments

Comments
 (0)