From 1c22fdabe14bd2cd689815313e3da31e2f54b48a Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Wed, 12 Apr 2017 21:58:06 +0200
Subject: [PATCH] Edit in Sylvan/cmake: Allow for hints about gmp location

---
 resources/3rdparty/sylvan/cmake/FindGMP.cmake | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/resources/3rdparty/sylvan/cmake/FindGMP.cmake b/resources/3rdparty/sylvan/cmake/FindGMP.cmake
index 7dcd75afd..7d787a84d 100755
--- a/resources/3rdparty/sylvan/cmake/FindGMP.cmake
+++ b/resources/3rdparty/sylvan/cmake/FindGMP.cmake
@@ -8,13 +8,16 @@
 find_package(PkgConfig)
 pkg_check_modules(PC_GMP QUIET gmp)
 
+set(GMP_INCLUDE "" CACHE PATH "include dir")
+set(GMP_LOCATION "" CACHE PATH "location dir")
+
 set(GMP_DEFINITIONS ${PC_GMP_CFLAGS_OTHER})
 
 find_path(GMP_INCLUDE_DIR gmp.h
-          HINTS ${PC_GMP_INCLUDEDIR} ${PC_GMP_INCLUDE_DIRS})
+          HINTS ${GMP_INCLUDE} ${PC_GMP_INCLUDEDIR} ${PC_GMP_INCLUDE_DIRS})
 
 find_library(GMP_LIBRARIES NAMES gmp libgmp
-             HINTS ${PC_GMP_LIBDIR} ${PC_GMP_LIBRARY_DIRS})
+             HINTS ${GMP_LOCATION} ${PC_GMP_LIBDIR} ${PC_GMP_LIBRARY_DIRS} NO_CMAKE_PATH NO_CMAKE_ENVIRONMENT_PATH)
 
 include(FindPackageHandleStandardArgs)
 # handle the QUIETLY and REQUIRED arguments and set GMP_FOUND to TRUE