From 20e59cb0c78835355494c61223a437f20fbbf452 Mon Sep 17 00:00:00 2001
From: tamasmeszaros <meszaros.q@gmail.com>
Date: Tue, 17 Dec 2019 10:51:18 +0100
Subject: [PATCH] Fix missing gmpxx from dep_GMP

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

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