From e67ed6be5d0f8c7f1017c0953cfe763cf0c18cf9 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 3 Mar 2016 18:44:44 +0000
Subject: [PATCH] Note in the README the experimental CMake build system.

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

diff --git a/README.md b/README.md
index 534c6c378..6052e2f91 100644
--- a/README.md
+++ b/README.md
@@ -74,6 +74,11 @@ sudo make uninstall
 
 To clean Z3 you can delete the build directory and run the ``mk_make.py`` script again.
 
+## Building Z3 using CMake
+
+Z3 has an unofficial build system using CMake. Read the [README-CMake.md](README-CMake.md)
+file for details.
+
 ## Z3 bindings
 
 Z3 has bindings for various programming languages.