From 30b4fe69e481d839443e75c0cc0c0ce8fb763516 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 30 Sep 2024 10:05:09 -0700 Subject: [PATCH] 2nd attempt to use uniform java library location under bin #7406 Signed-off-by: Nikolaj Bjorner --- scripts/mk_win_dist_cmake.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_win_dist_cmake.py b/scripts/mk_win_dist_cmake.py index ae73f91ff..157965184 100644 --- a/scripts/mk_win_dist_cmake.py +++ b/scripts/mk_win_dist_cmake.py @@ -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)