From b82dff531e4ed23eb4b227366a6c1ee9e6dec299 Mon Sep 17 00:00:00 2001 From: Alexander Lisianoi Date: Sun, 2 Aug 2020 18:50:22 +0200 Subject: [PATCH] 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. --- README-CMake.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README-CMake.md b/README-CMake.md index 3903a14bf..7b7381107 100644 --- 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