From c6e2decc3fba6a127151d1ec69c8e3b2dc364d18 Mon Sep 17 00:00:00 2001
From: Bhargava Shastry <bhargava.shastry@ethereum.org>
Date: Thu, 14 May 2020 17:47:43 +0200
Subject: [PATCH] Disable Z3 in fuzzer builds

---
 cmake/toolchains/ossfuzz.cmake | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cmake/toolchains/ossfuzz.cmake b/cmake/toolchains/ossfuzz.cmake
index 113b6b453..fb7b8d0b3 100644
--- a/cmake/toolchains/ossfuzz.cmake
+++ b/cmake/toolchains/ossfuzz.cmake
@@ -1,7 +1,8 @@
 # Inherit default options
 include("${CMAKE_CURRENT_LIST_DIR}/default.cmake")
-# Disable CVC4.
+# Disable CVC4 and Z3.
 set(USE_CVC4 OFF CACHE BOOL "Disable CVC4" FORCE)
+set(USE_Z3 OFF CACHE BOOL "Disable Z3" FORCE)
 # Enable fuzzers
 set(OSSFUZZ ON CACHE BOOL "Enable fuzzer build" FORCE)
 set(LIB_FUZZING_ENGINE $ENV{LIB_FUZZING_ENGINE} CACHE STRING "Use fuzzer back-end defined by environment variable" FORCE)