From 17fb07875df5278c64c0ff0e92f7d000fbdfe922 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Nov 2019 08:35:28 -0800
Subject: [PATCH] follow up on #2737

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 CMakeLists.txt  | 12 +++++++-----
 README-CMake.md |  4 +++-
 2 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1bcd3eab4..36ad01cb5 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -274,11 +274,11 @@ endif()
 ################################################################################
 # Thread safe or not?
 ################################################################################
-option(SINGLE_THREADED
+option(Z3_SINGLE_THREADED
   "Non-thread-safe build"
   OFF
 )
-if (SINGLE_THREADED)
+if (Z3_SINGLE_THREADED)
   list(APPEND Z3_COMPONENT_CXX_DEFINES "-DSINGLE_THREAD")
   message(STATUS "Non-thread-safe build")
 else()
@@ -326,9 +326,9 @@ include(${PROJECT_SOURCE_DIR}/cmake/compiler_warnings.cmake)
 ################################################################################
 # Save Clang optimization records
 ################################################################################
-option(SAVE_CLANG_OPTIMIZATION_RECORDS "Enable saving Clang optimization records." OFF)
+option(Z3_SAVE_CLANG_OPTIMIZATION_RECORDS "Enable saving Clang optimization records." OFF)
 
-if (SAVE_CLANG_OPTIMIZATION_RECORDS)
+if (Z3_SAVE_CLANG_OPTIMIZATION_RECORDS)
   z3_add_cxx_flag("-fsave-optimization-record" REQUIRED)
 endif()
 
@@ -614,7 +614,9 @@ install(
 ################################################################################
 # Examples
 ################################################################################
-option(Z3_ENABLE_EXAMPLE_TARGETS "Build Z3 api examples" ON)
+cmake_dependent_option(Z3_ENABLE_EXAMPLE_TARGETS 
+    "Build Z3 api examples" ON
+    "CMAKE_SOURCE_DIR STREQUAL PROJECT_SOURCE_DIR" OFF)
 if (Z3_ENABLE_EXAMPLE_TARGETS)
   add_subdirectory(examples)
 endif()
diff --git a/README-CMake.md b/README-CMake.md
index 51e785fab..dd5aa3b53 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -241,11 +241,11 @@ The following useful options can be passed to CMake whilst configuring.
 * ``CMAKE_INSTALL_PYTHON_PKG_DIR`` - STRING. The path to install the z3 python bindings. This can be relative (to ``CMAKE_INSTALL_PREFIX``) or absolute.
 * ``CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR`` - STRING. The path to install CMake package files (e.g. ``/usr/lib/cmake/z3``).
 * ``CMAKE_INSTALL_API_BINDINGS_DOC`` - STRING. The path to install documentation for API bindings.
+* ``PYTHON_EXECUTABLE`` - STRING. The python executable to use during the build.
 * ``Z3_ENABLE_TRACING_FOR_NON_DEBUG`` - BOOL. If set to ``TRUE`` enable tracing in non-debug builds, if set to ``FALSE`` disable tracing in non-debug builds. Note in debug builds tracing is always enabled.
 * ``Z3_BUILD_LIBZ3_SHARED`` - BOOL. If set to ``TRUE`` build libz3 as a shared library otherwise build as a static library.
 * ``Z3_ENABLE_EXAMPLE_TARGETS`` - BOOL. If set to ``TRUE`` add the build targets for building the API examples.
 * ``Z3_USE_LIB_GMP`` - BOOL. If set to ``TRUE`` use the GNU multiple precision library. If set to ``FALSE`` use an internal implementation.
-* ``PYTHON_EXECUTABLE`` - STRING. The python executable to use during the build.
 * ``Z3_BUILD_PYTHON_BINDINGS`` - BOOL. If set to ``TRUE`` then Z3's python bindings will be built.
 * ``Z3_INSTALL_PYTHON_BINDINGS`` - BOOL. If set to ``TRUE`` and ``Z3_BUILD_PYTHON_BINDINGS`` is ``TRUE`` then running the ``install`` target will install Z3's Python bindings.
 * ``Z3_BUILD_DOTNET_BINDINGS`` - BOOL. If set to ``TRUE`` then Z3's .NET bindings will be built.
@@ -272,6 +272,8 @@ The following useful options can be passed to CMake whilst configuring.
 * ``Z3_C_EXAMPLES_FORCE_CXX_LINKER`` - BOOL. If set to ``TRUE`` the C API examples will request that the C++ linker is used rather than the C linker.
 * ``Z3_BUILD_EXECUTABLE`` - BOOL. If set to ``TRUE`` build the z3 executable. Defaults to ``TRUE`` unless z3 is being built as a submodule in which case it defaults to ``FALSE``.
 * ``Z3_BUILD_TEST_EXECUTABLES`` - BOOL. If set to ``TRUE`` build the z3 test executables. Defaults to ``TRUE`` unless z3 is being built as a submodule in which case it defaults to ``FALSE``.
+* ``Z3_SAVE_CLANG_OPTIMIZATION_RECORDS`` - BOOL. If set to ``TRUE`` saves Clang optimization records by setting the compiler flag ``-fsave-optimization-record``.
+* ``Z3_SINGLE_THREADED`` - BOOL. If set to ``TRUE`` compiles Z3 for single threaded mode.
 
 
 On the command line these can be passed to ``cmake`` using the ``-D`` option. In ``ccmake`` and ``cmake-gui`` these can be set in the user interface.