From 2c2ad6ebeeceeaaed7b4f91a13739135178bd715 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Thu, 17 Mar 2011 10:49:11 +0000
Subject: [PATCH] re-fix gmp stuff
---
CMakeLists.txt | 14 +++++++++-----
1 file changed, 9 insertions(+), 5 deletions(-)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index be7d7466fc..6ef9cf8feb 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -463,13 +463,17 @@ if(ENABLE_GMM)
endif(ENABLE_GMM)
if(ENABLE_KBIPACK)
- add_subdirectory(contrib/kbipack)
- include_directories(contrib/kbipack)
- set_config_option(HAVE_KBIPACK "Kbipack")
find_library(GMP_LIB NAMES gmp)
if(GMP_LIB)
- set_config_option(HAVE_GMP "GMP")
- list(APPEND EXTERNAL_LIBRARIES ${GMP_LIB})
+ find_path(GMP_INC "gmp.h" PATH_SUFFIXES src include)
+ if(GMP_INC)
+ set_config_option(HAVE_GMP "GMP")
+ list(APPEND EXTERNAL_LIBRARIES ${GMP_LIB})
+ list(APPEND EXTERNAL_INCLUDES ${GMP_INC})
+ add_subdirectory(contrib/kbipack)
+ include_directories(contrib/kbipack)
+ set_config_option(HAVE_KBIPACK "Kbipack")
+ endif(GMP_INC)
endif(GMP_LIB)
endif(ENABLE_KBIPACK)
--
GitLab