move installation directories to under bin

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 30, 2024 · b3b95db · b3b95db
1 parent 9bd8e35
commit b3b95db
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/mk_win_dist_cmake.py b/scripts/mk_win_dist_cmake.py
@@ -223,11 +223,11 @@ def mk_build_dir(arch):
             cmd.append(' -DZ3_BUILD_JAVA_BINDINGS=ON')
             cmd.append(' -DZ3_INSTALL_JAVA_BINDINGS=ON')
             cmd.append(' -DZ3_JAVA_JAR_INSTALLDIR=java')
-            cmd.append(' -DZ3_JAVA_JNI_LIB_INSTALLDIR=java')
+            cmd.append(' -DZ3_JAVA_JNI_LIB_INSTALLDIR=bin/java')
         if PYTHON_ENABLED:
             cmd.append(' -DZ3_BUILD_PYTHON_BINDINGS=ON')
             cmd.append(' -DZ3_INSTALL_PYTHON_BINDINGS=ON')
-            cmd.append(' -DCMAKE_INSTALL_PYTHON_PKG_DIR=python')
+            cmd.append(' -DCMAKE_INSTALL_PYTHON_PKG_DIR=bin/python')
         if JULIA_ENABLED:
             cmd.append(' -DJlCxx_DIR=%JlCxxDir%\\..\\lib\\cmake\\JlCxx')