From 4b20708c497cfbbb8a489339b91e26f05d0bd7a2 Mon Sep 17 00:00:00 2001 From: Matías Aereal Aeón Date: Wed, 8 Aug 2018 11:46:17 -0300 Subject: cmake flags to make solvers optional. Implementation of #4651 --- libsolidity/CMakeLists.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'libsolidity/CMakeLists.txt') diff --git a/libsolidity/CMakeLists.txt b/libsolidity/CMakeLists.txt index 706b3b08..49095fff 100644 --- a/libsolidity/CMakeLists.txt +++ b/libsolidity/CMakeLists.txt @@ -27,7 +27,8 @@ else() endif() if (NOT (${Z3_FOUND} OR ${CVC4_FOUND})) - message("No SMT solver found. Optional SMT checking will not be available. Please install Z3 or CVC4 if it is desired.") + message("No SMT solver found (or it has been forcefully disabled). Optional SMT checking will not be available.\ + \nPlease install Z3 or CVC4 or remove the option disabling them (USE_Z3, USE_CVC4).") endif() add_library(solidity ${sources} ${headers}) -- cgit