Fix GMPXX

This commit is contained in:
Laurent Rineau 2018-04-04 10:56:53 +02:00
parent 7bb25993d6
commit bd14587987
1 changed files with 1 additions and 1 deletions

View File

@ -10,7 +10,7 @@
find_package( GMP QUIET )
if(WITH_GMP AND GMP_FOUND)
if(GMP_FOUND)
if (GMPXX_INCLUDE_DIR AND GMPXX_LIBRARIES)
# Already in cache, be silent