Use Z3_ option prefix in cmake with Java bindings build command (#4612)

Just s/BUILD_JAVA_BINDINGS/Z3_BUILD_JAVA_BINDINGS/ to make the build command actually build Java bindings instead of just throwing a warning.
Z3Prover · Aug 2, 2020 · b82dff5 · b82dff5
1 parent 7fa5b31
commit b82dff5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README-CMake.md b/README-CMake.md
@@ -303,7 +303,7 @@ installation of Java. If CMake fails to find your installation of Java set the
 correct location. For example
 
 ```
-JAVA_HOME=/usr/lib/jvm/default cmake -DBUILD_JAVA_BINDINGS=ON ../
+JAVA_HOME=/usr/lib/jvm/default cmake -DZ3_BUILD_JAVA_BINDINGS=ON ../
 ```
 Note that the built ``.jar`` file is named ``com.microsoft.z3-VERSION.jar``
 where ``VERSION`` is the Z3 version. Under non Windows systems a