From 702347ddac5c32fcd5c6a440de8c6d9c9f9ca8be Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 22 May 2017 17:11:25 +0100
Subject: [PATCH] [CMake] Add CMake option `API_LOG_SYNC` that corresponds to
 the `--log-sync` option added to the python/Makefile build system added in
 dee7c29b19ade620d66cb8f49f3ccb8b688530ea .

---
 CMakeLists.txt  | 17 +++++++++++++++++
 README-CMake.md |  1 +
 2 files changed, 18 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index b25139c1b..44c5bb880 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -318,6 +318,23 @@ else()
   set(USE_OPENMP OFF CACHE BOOL "Use OpenMP" FORCE)
 endif()
 
+################################################################################
+# API Log sync
+################################################################################
+option(API_LOG_SYNC
+  "Use locking when logging Z3 API calls (experimental)"
+  OFF
+)
+if (API_LOG_SYNC)
+  if (NOT USE_OPENMP)
+    message(FATAL_ERROR "API_LOG_SYNC feature requires OpenMP")
+  endif()
+  list(APPEND Z3_COMPONENT_CXX_DEFINES "-DZ3_LOG_SYNC")
+  message(STATUS "Using API_LOG_SYNC")
+else()
+  message(STATUS "Not using API_LOG_SYNC")
+endif()
+
 ################################################################################
 # FP math
 ################################################################################
diff --git a/README-CMake.md b/README-CMake.md
index abd2d3c87..5b3cdfd36 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -293,6 +293,7 @@ The following useful options can be passed to CMake whilst configuring.
 * ``ALWAYS_BUILD_DOCS`` - BOOL. If set to ``TRUE`` and ``BUILD_DOCUMENTATION`` is ``TRUE`` then documentation for API bindings will always be built.
     Disabling this is useful for faster incremental builds. The documentation can be manually built by invoking the ``api_docs`` target.
 * ``LINK_TIME_OPTIMIZATION`` - BOOL. If set to ``TRUE`` link time optimization will be enabled.
+* ``API_LOG_SYNC`` - BOOL. If set to ``TRUE`` will enable experimental API log sync feature.
 
 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.