Fix missing gmpxx from dep_GMP

This commit is contained in:
tamasmeszaros 2019-12-17 10:51:18 +01:00
parent 43213b9548
commit 20e59cb0c7

2
deps/GMP/GMP.cmake vendored
View File

@ -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
)