From ae3350ae0320d140a427d2fa318e7002745a73a5 Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leonardoaltt@gmail.com>
Date: Fri, 6 Apr 2018 18:01:40 +0200
Subject: [SMTChecker] Integration with CVC4

---
 cmake/FindGMP.cmake | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 cmake/FindGMP.cmake

(limited to 'cmake/FindGMP.cmake')

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)
-- 
cgit