mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-25 10:05:32 +00:00
Code Activity

2nd attempt to use uniform java library location under bin #7406

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-09-30 10:05:09 -07:00
parent b65afd41ed
commit 30b4fe69e4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_win_dist_cmake.py
View file

@ -375,7 +375,7 @@ def cp_into_bin(arch):
os.path.join(bin_dir, "libz3.lib"))
shutil.rmtree(lib_dir)
if JAVA_ENABLED:
java_dir = get_java_dist_path(arch)
java_dir = os.path.join(bin_dir, "java")
for file in os.listdir(java_dir):
src_path = os.path.join(java_dir, file)
dst_path = os.path.join(bin_dir, file)