From 4b20708c497cfbbb8a489339b91e26f05d0bd7a2 Mon Sep 17 00:00:00 2001
From: Matías Aereal Aeón <aereal@gmail.com>
Date: Wed, 8 Aug 2018 11:46:17 -0300
Subject: cmake flags to make solvers optional. Implementation of #4651

---
 cmake/EthCompilerSettings.cmake | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'cmake/EthCompilerSettings.cmake')

diff --git a/cmake/EthCompilerSettings.cmake b/cmake/EthCompilerSettings.cmake
index 515057fa..76268626 100644
--- a/cmake/EthCompilerSettings.cmake
+++ b/cmake/EthCompilerSettings.cmake
@@ -166,6 +166,10 @@ if(COVERAGE)
 	add_compile_options(-g --coverage)
 endif()
 
+# SMT Solvers integration
+option(USE_Z3 "Allow compiling with Z3 SMT solver integration" ON)
+option(USE_CVC4 "Allow compiling with CVC4 SMT solver integration" ON)
+
 if (("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU") OR ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang"))
 	option(USE_LD_GOLD "Use GNU gold linker" ON)
 	if (USE_LD_GOLD)
-- 
cgit