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

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Sep 30, 2024 · 30b4fe6 · 30b4fe6
1 parent b65afd4
commit 30b4fe6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)