From 0f50b2e49c6986156b248347a1c90fbb9c9896f7 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 31 Jul 2016 04:49:09 -0500
Subject: [PATCH] support Android port

---
 cmake/FindGMP.cmake | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake
index 33c0ae673..9744b2ff7 100644
--- a/cmake/FindGMP.cmake
+++ b/cmake/FindGMP.cmake
@@ -9,6 +9,7 @@
 # GMP_LIBRARIES_DIR - the directory the library we link with is found in.
 
 if (ANDROID)
+set( GMP_ROOT ${CMAKE_SOURCE_DIR}/../gmp/${ANDROID_ABI} )
   set (GMP_FOUND ON)
   set (GMP_INCLUDE_DIRS ${GMP_ROOT})
   set (GMP_LIBRARIES ${GMP_ROOT}/libgmp.so)
@@ -83,8 +84,6 @@ get_filename_component(GMP_LIBRARIES_DIR "${GMP_LIBRARIES}" PATH CACHE)
 endif(MSVC)
 endif(ANDROID)
 
-message("${GMP_ROOT} ${GMP_INCLUDE_DIRS} ${GMP_LIBRARIES} ${GMP_LIBRARIES_DIR}")
-
 # handle the QUIET and REQUIRED arguments and set GMP_FOUND to TRUE if
 # all listed variables are true
 include(FindPackageHandleStandardArgs)