From c2a3991e3b58c48ca8081f22bb73dff690518069 Mon Sep 17 00:00:00 2001
From: John Donners <40058074+donners-atos@users.noreply.github.com>
Date: Mon, 28 Apr 2025 15:55:17 +0200
Subject: [PATCH] Update FindGMP.cmake: also look for libgmp.so in $GMP_DIR

So users can provide their own GMP libraries.
---
 cmake/FindGMP.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake
index adc39a779..d15fe2125 100644
--- a/cmake/FindGMP.cmake
+++ b/cmake/FindGMP.cmake
@@ -1,5 +1,5 @@
 message( STATUS "Looking for GMP")
-find_library(LIBGMP gmp PATHS /usr/lib /usr/lib64 /usr/local/lib /usr/local/lib64)
+find_library(LIBGMP gmp PATHS /usr/lib /usr/lib64 /usr/local/lib /usr/local/lib64 ${GMP_DIR}/lib ${GMP_DIR}/lib64)
 if( LIBGMP STREQUAL LIBGMP-NOTFOUND)
    set(${CMAKE_FIND_PACKAGE_NAME}_NOT_FOUND_MESSAGE "GMP library was not found")
    set(${CMAKE_FIND_PACKAGE}-FOUND FALSE)