diff options
| author | chriseth <chris@ethereum.org> | 2018-11-08 19:53:31 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-08 19:53:31 +0800 |
| commit | 20481055e3b439657bd44ea66b05a633477eeaf8 (patch) | |
| tree | f8cb8dae35abf803542d1df595eebe218384b7de | |
| parent | cd11f7cfacc88485584ebdd8fc4beccbcaf550fe (diff) | |
| parent | 2b053ceeffdfeb5006d9c4de334b66a66f2c74d7 (diff) | |
| download | dexon-solidity-20481055e3b439657bd44ea66b05a633477eeaf8.tar dexon-solidity-20481055e3b439657bd44ea66b05a633477eeaf8.tar.gz dexon-solidity-20481055e3b439657bd44ea66b05a633477eeaf8.tar.bz2 dexon-solidity-20481055e3b439657bd44ea66b05a633477eeaf8.tar.lz dexon-solidity-20481055e3b439657bd44ea66b05a633477eeaf8.tar.xz dexon-solidity-20481055e3b439657bd44ea66b05a633477eeaf8.tar.zst dexon-solidity-20481055e3b439657bd44ea66b05a633477eeaf8.zip | |
Merge pull request #5371 from nud3l/develop
Fix cmake Z3 import issue for Fedora like distributions
| -rw-r--r-- | cmake/FindZ3.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/FindZ3.cmake b/cmake/FindZ3.cmake index 704f367e..c017cac2 100644 --- a/cmake/FindZ3.cmake +++ b/cmake/FindZ3.cmake @@ -1,5 +1,5 @@ if (USE_Z3) - find_path(Z3_INCLUDE_DIR z3++.h) + find_path(Z3_INCLUDE_DIR NAMES z3++.h PATH_SUFFIXES z3) find_library(Z3_LIBRARY NAMES z3 ) include(FindPackageHandleStandardArgs) find_package_handle_standard_args(Z3 DEFAULT_MSG Z3_LIBRARY Z3_INCLUDE_DIR) |