From cef5a26361a46964a16ada7a1c236497c83541c3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Nov 2019 08:43:54 +0100
Subject: [PATCH] update README on cmake

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index c9eb1da25..cf46aca8f 100644
--- a/README.md
+++ b/README.md
@@ -97,8 +97,9 @@ To clean Z3 you can delete the build directory and run the ``mk_make.py`` script
 
 ## Building Z3 using CMake
 
-Z3 has an unofficial build system using CMake. Read the [README-CMake.md](README-CMake.md)
-file for details.
+Z3 has a build system using CMake. Read the [README-CMake.md](README-CMake.md)
+file for details. It is recommended for most build tasks, 
+except for building OCaml bindings.
 
 ## Z3 bindings