diff options
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/FindCVC4.cmake | 4 | ||||
| -rw-r--r-- | cmake/FindGMP.cmake | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/cmake/FindCVC4.cmake b/cmake/FindCVC4.cmake new file mode 100644 index 00000000..0fb13196 --- /dev/null +++ b/cmake/FindCVC4.cmake @@ -0,0 +1,4 @@ +find_path(CVC4_INCLUDE_DIR cvc4/cvc4.h) +find_library(CVC4_LIBRARY NAMES cvc4 ) +include(FindPackageHandleStandardArgs) +find_package_handle_standard_args(CVC4 DEFAULT_MSG CVC4_LIBRARY CVC4_INCLUDE_DIR) 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) |