attempt to use uniform java library location under bin #7406

Z3Prover · Sep 30, 2024 · b65afd4 · b65afd4
1 parent 5413018
commit b65afd4
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/scripts/mk_win_dist_cmake.py b/scripts/mk_win_dist_cmake.py
@@ -376,9 +376,10 @@ def cp_into_bin(arch):
     shutil.rmtree(lib_dir)
     if JAVA_ENABLED:
         java_dir = get_java_dist_path(arch)
-        shutil.copytree(java_dir,
-                        bin_dir,
-                        dirs_exist_ok=True)
+        for file in os.listdir(java_dir):
+            src_path = os.path.join(java_dir, file)
+            dst_path = os.path.join(bin_dir, file)
+            shutil.copy2(src_path, dst_path)
         shutil.rmtree(java_dir)
 
 def cp_pdb(arch):