From ad4ddff99a504ea5d4b8b79b8c153c0be9991779 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 9 Mar 2016 13:07:14 +0000
Subject: [PATCH] [CMake] If OpenMP support is not found make sure we set
 ``USE_OPENMP`` to ``OFF`` to make it clear in ccmake/cmake-gui that the
 support is disabled. Previously it would be left as ``ON`` even if support
 wasn't actually enabled.

---
 CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2af3d7a82..3cc29780d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -239,6 +239,7 @@ if (OPENMP_FOUND)
 else()
   list(APPEND Z3_COMPONENT_CXX_DEFINES "-D_NO_OMP_")
   message(STATUS "Not using OpenMP")
+  set(USE_OPENMP OFF CACHE BOOL "Use OpenMP" FORCE)
 endif()
 
 ################################################################################