From: Gianfranco Costamagna <locutusofborg@debian.org>
Date: Tue, 7 Jul 2020 16:18:00 +0000 (+0100)
Subject: Disable z3 to avoid pulling ocaml into main.
X-Git-Tag: archive/raspbian/1%9.0.1-13+rpi1^2~9
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=6d8560fcbd44d69e7ed26045dd8d37ddd8ca2ab4;p=llvm-toolchain-9.git

Disable z3 to avoid pulling ocaml into main.

For some reason the cmake option LLVM_ENABLE_Z3_SOLVER was not taken into account
Last-Update: 2019-11-26


Gbp-Pq: Name no-z3.patch
---

diff --git a/llvm/CMakeLists.txt b/llvm/CMakeLists.txt
index b9a10685b..e4d00847a 100644
--- a/llvm/CMakeLists.txt
+++ b/llvm/CMakeLists.txt
@@ -340,24 +340,22 @@ option(LLVM_ENABLE_ZLIB "Use zlib for compression/decompression if available." O
 
 set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3 solver.")
 
-find_package(Z3 4.7.1)
-
-if (LLVM_Z3_INSTALL_DIR)
-  if (NOT Z3_FOUND)
-    message(FATAL_ERROR "Z3 >= 4.7.1 has not been found in LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.")
-  endif()
-endif()
-
-set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}")
-
 option(LLVM_ENABLE_Z3_SOLVER
   "Enable Support for the Z3 constraint solver in LLVM."
-  ${LLVM_ENABLE_Z3_SOLVER_DEFAULT}
+  ON
 )
 
 if (LLVM_ENABLE_Z3_SOLVER)
-  if (NOT Z3_FOUND)
-    message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 is not available.")
+  find_package(Z3 4.7.1)
+
+  if (LLVM_Z3_INSTALL_DIR)
+    if (NOT Z3_FOUND)
+      message(FATAL_ERROR "Z3 >= 4.7.1 has not been found in LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.")
+    endif()
+  else()
+    if (NOT Z3_FOUND)
+      message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 is not available.")
+    endif()
   endif()
 
   set(LLVM_WITH_Z3 1)