diff options
| author | chriseth <chris@ethereum.org> | 2017-10-13 21:47:53 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-13 21:47:53 +0800 |
| commit | 5e2bcd0412d19d54c6195c9d7c10dc788a73fcc2 (patch) | |
| tree | 1f17426a13cd3a0e3be4dba5f4c800a5bad4de86 | |
| parent | 81f9f86ce51d2e9b54bf76b1169f12e193c79745 (diff) | |
| parent | 372c6693eaa6343858e5d9edfbe7e66cdc321f52 (diff) | |
| download | dexon-solidity-5e2bcd0412d19d54c6195c9d7c10dc788a73fcc2.tar.gz dexon-solidity-5e2bcd0412d19d54c6195c9d7c10dc788a73fcc2.tar.zst dexon-solidity-5e2bcd0412d19d54c6195c9d7c10dc788a73fcc2.zip | |
Merge pull request #3072 from ethereum/z3-cmake
Improve Z3 message in cmake
| -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() |