From 5cd8254263fca99b2b9414e7672ba1d9ebd0932c Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 20 Jan 2016 22:57:34 +0100
Subject: [PATCH] use better version of FindGMP for sylvan as well

Former-commit-id: 0159a092f2d91bfc64a0b32ede633e4f2f4e4aca
---
 resources/3rdparty/sylvan/cmake/FindGMP.cmake | 76 ++++++++++++++-----
 1 file changed, 56 insertions(+), 20 deletions(-)

diff --git a/resources/3rdparty/sylvan/cmake/FindGMP.cmake b/resources/3rdparty/sylvan/cmake/FindGMP.cmake
index 62c75c034..d1e6f7d1e 100644
--- a/resources/3rdparty/sylvan/cmake/FindGMP.cmake
+++ b/resources/3rdparty/sylvan/cmake/FindGMP.cmake
@@ -1,20 +1,56 @@
-FIND_PATH(GMP_INCLUDE_DIR 
-            gmp.h )
-
-FIND_LIBRARY(GMP_LIBRARIES
-             NAMES gmp 
-             HINTS /usr/local/lib )
-
-IF (GMP_INCLUDE_DIR AND GMP_LIBRARIES)
-   SET(GMP_FOUND TRUE)
-ENDIF (GMP_INCLUDE_DIR AND GMP_LIBRARIES)
-
-IF (GMP_FOUND)
-   IF (NOT GMP_FIND_QUIETLY)
-      MESSAGE(STATUS "Found GMP: ${GMP_LIBRARIES}")
-   ENDIF (NOT GMP_FIND_QUIETLY)
-ELSE (GMP_FOUND)
-   IF (GMP_FIND_REQUIRED)
-      MESSAGE(FATAL_ERROR "Could not find GMP")
-   ENDIF (GMP_FIND_REQUIRED)
-ENDIF (GMP_FOUND)
+# FindGMP.cmake can be found at https://code.google.com/p/origin/source/browse/trunk/cmake/FindGMP.cmake
+# Copyright (c) 2008-2010 Kent State University
+# Copyright (c) 2011-2012 Texas A&M University
+#
+# This file is distributed under the MIT License. See the accompanying file
+# LICENSE.txt or http://www.opensource.org/licenses/mit-license.php for terms
+# and conditions.
+# Modified by David Korzeniewski to also find MPIR as an alternative.
+
+# FIXME: How do I find the version of GMP that I want to use?
+# What versions are available?
+
+# NOTE: GMP prefix is understood to be the path to the root of the GMP
+# installation library.
+set(GMP_PREFIX "" CACHE PATH "The path to the prefix of a GMP installation")
+
+
+find_path(GMP_INCLUDE_DIR gmp.h 
+	PATHS ${GMP_PREFIX}/include /usr/include /usr/local/include)
+
+find_library(GMP_LIBRARY NAMES gmp
+	PATHS ${GMP_PREFIX}/lib /usr/lib /usr/local/lib)
+
+find_library(GMP_MPIR_LIBRARY NAMES mpir
+	PATHS ${GMP_PREFIX}/lib /usr/lib /usr/local/lib)
+	
+find_library(GMP_MPIRXX_LIBRARY NAMES mpirxx
+	PATHS ${GMP_PREFIX}/lib /usr/lib /usr/local/lib)
+
+
+if(GMP_INCLUDE_DIR AND GMP_LIBRARY)
+	get_filename_component(GMP_LIBRARY_DIR ${GMP_LIBRARY} PATH)
+	set(GMP_FOUND TRUE)
+endif()
+
+if(GMP_INCLUDE_DIR AND GMP_MPIR_LIBRARY AND GMP_MPIRXX_LIBRARY)
+	get_filename_component(GMP_MPIR_LIBRARY_DIR ${GMP_MPIR_LIBRARY} PATH)
+	get_filename_component(GMP_MPIRXX_LIBRARY_DIR ${GMP_MPIRXX_LIBRARY} PATH)
+	set(MPIR_FOUND TRUE)
+endif()
+
+if(GMP_FOUND)
+   if(NOT GMP_FIND_QUIETLY)
+      MESSAGE(STATUS "Found GMP: ${GMP_LIBRARY}")
+   endif()
+elseif(MPIR_FOUND)
+   if(NOT GMP_FIND_QUIETLY)
+      MESSAGE(STATUS "Found GMP alternative MPIR: ${GMP_MPIR_LIBRARY} and ${GMP_MPIRXX_LIBRARY}")
+   endif()
+elseif(GMP_FOUND)
+   if(GMP_FIND_REQUIRED)
+      message(FATAL_ERROR "Could not find GMP")
+   endif()
+endif()
+
+MARK_AS_ADVANCED(GMP_MPIRXX_LIBRARY GMP_MPIR_LIBRARY GMP_INCLUDE_DIR GMP_LIBRARY)