diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-10-13 20:33:18 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-10-13 20:33:18 +0800 |
| commit | 372c6693eaa6343858e5d9edfbe7e66cdc321f52 (patch) | |
| tree | 1f17426a13cd3a0e3be4dba5f4c800a5bad4de86 /libsolidity/CMakeLists.txt | |
| parent | 81f9f86ce51d2e9b54bf76b1169f12e193c79745 (diff) | |
| download | dexon-solidity-372c6693eaa6343858e5d9edfbe7e66cdc321f52.tar.gz dexon-solidity-372c6693eaa6343858e5d9edfbe7e66cdc321f52.tar.zst dexon-solidity-372c6693eaa6343858e5d9edfbe7e66cdc321f52.zip | |
Improve Z3 message in cmake
Diffstat (limited to 'libsolidity/CMakeLists.txt')
| -rw-r--r-- | libsolidity/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libsolidity/CMakeLists.txt b/libsolidity/CMakeLists.txt index f7c1a390..99612c40 100644 --- a/libsolidity/CMakeLists.txt +++ b/libsolidity/CMakeLists.txt @@ -6,9 +6,9 @@ find_package(Z3 QUIET) if (${Z3_FOUND}) include_directories(${Z3_INCLUDE_DIR}) add_definitions(-DHAVE_Z3) - message("Z3 SMT solver FOUND.") + message("Z3 SMT solver found. This enables optional SMT checking.") else() - message("Z3 SMT solver NOT found.") + message("Z3 SMT solver NOT found. Optional SMT checking will not be available. Please install Z3 if it is desired.") list(REMOVE_ITEM sources "${CMAKE_CURRENT_SOURCE_DIR}/formal/Z3Interface.cpp") endif() |