mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 09:04:07 +00:00
update path
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
7eb401b891
commit
d714f1b6c5
|
@ -77,29 +77,24 @@ 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:
|
||||
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)
|
||||
file1 = f"{package_dir}/bin/{b}"
|
||||
file2 = f"{package_dir}/bin/netstandard2.0/{b}"
|
||||
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}")
|
||||
replace(f"{tmp}/{file1}", f"out/lib/netstandard2.0/{b}")
|
||||
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}")
|
||||
replace(f"{tmp}/{file2}", f"out/lib/netstandard2.0/{b}")
|
||||
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))
|
||||
print(tmp_bin_dir, os.listdir(tmp_bin_dir))
|
||||
|
||||
|
||||
def mk_targets(source_root):
|
||||
|
|
Loading…
Reference in a new issue