diff --git a/README-CMake.md b/README-CMake.md index ca3ded9fb..0943e7a7d 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -308,6 +308,10 @@ correct location. For example ``` JAVA_HOME=/usr/lib/jvm/default cmake -DBUILD_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 +symbolic link named ``com.microsoft.z3.jar`` is provided. This symbolic +link is not created when building under Windows. ## Developer/packager notes