diff options
| author | Leonardo Alt <leonardoaltt@gmail.com> | 2018-04-07 00:01:40 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-04-17 19:26:58 +0800 |
| commit | ae3350ae0320d140a427d2fa318e7002745a73a5 (patch) | |
| tree | e4da5e3619baa56b09509004c58b1b5d12594e48 /cmake/FindGMP.cmake | |
| parent | 842fd0cd2cef3c11c392b7820e178fd0d034fa07 (diff) | |
| download | dexon-solidity-ae3350ae0320d140a427d2fa318e7002745a73a5.tar.gz dexon-solidity-ae3350ae0320d140a427d2fa318e7002745a73a5.tar.zst dexon-solidity-ae3350ae0320d140a427d2fa318e7002745a73a5.zip | |
[SMTChecker] Integration with CVC4
Diffstat (limited to 'cmake/FindGMP.cmake')
| -rw-r--r-- | cmake/FindGMP.cmake | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake new file mode 100644 index 00000000..8abe354c --- /dev/null +++ b/cmake/FindGMP.cmake @@ -0,0 +1,3 @@ +find_library(GMP_LIBRARY NAMES gmp ) +include(FindPackageHandleStandardArgs) +find_package_handle_standard_args(GMP DEFAULT_MSG GMP_LIBRARY) |