From fde0803a8987bab7afd44b99d28967410141355e Mon Sep 17 00:00:00 2001
From: tamasmeszaros <meszaros.q@gmail.com>
Date: Thu, 23 Jan 2020 13:45:20 +0100
Subject: [PATCH] Upgrade GMP version (link errors similar to RPI)

---
 deps/GMP/GMP.cmake | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/deps/GMP/GMP.cmake b/deps/GMP/GMP.cmake
index 8bcf94859..4e8228cba 100644
--- a/deps/GMP/GMP.cmake
+++ b/deps/GMP/GMP.cmake
@@ -18,7 +18,8 @@ if (MSVC)
 
 else ()
     ExternalProject_Add(dep_GMP
-        URL  https://gmplib.org/download/gmp/gmp-6.1.2.tar.bz2
+        # URL  https://gmplib.org/download/gmp/gmp-6.1.2.tar.bz2
+        URL https://gmplib.org/download/gmp/gmp-6.2.0.tar.lz
         BUILD_IN_SOURCE ON 
         CONFIGURE_COMMAND ./configure --enable-shared=no --enable-cxx=yes --enable-static=yes "--prefix=${DESTDIR}/usr/local" --with-pic
         BUILD_COMMAND     make -j