From 49c92e4bd7c69d198974d6ec1616342fd28ea6c1 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 18 Apr 2016 15:33:19 +0100
Subject: [PATCH] [CMake] Add a note about the name of the Z3 Java ``.jar``
 file.

---
 README-CMake.md | 4 ++++
 1 file changed, 4 insertions(+)

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