From 897427436ed31f5a252ff03e511bd89593cc4d48 Mon Sep 17 00:00:00 2001
From: Guilhem Lavaux <guilhem.lavaux@gmail.com>
Date: Mon, 23 Apr 2018 20:45:09 +0200
Subject: [PATCH] Add some eigen corrections

---
 external/external_build.cmake | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/external/external_build.cmake b/external/external_build.cmake
index 054a651..48ce837 100644
--- a/external/external_build.cmake
+++ b/external/external_build.cmake
@@ -341,7 +341,14 @@ IF (INTERNAL_EIGEN)
   SET(EIGEN3_INCLUDE_DIRS ${EXT_INSTALL}/include/eigen3)
 
 ELSE (INTERNAL_EIGEN)
-  pkg_check_modules(EIGEN3 eigen3 )
+   if(DEFINED EIGEN_PATH)
+     set(_eigen_old_pkg_path $ENV{PKG_CONFIG_PATH})
+     set(ENV{PKG_CONFIG_PATH} ${EIGEN_PATH}/share/pkgconfig)
+   endif()
+   pkg_check_modules(EIGEN3 NO_CMAKE_PATH NO_CMAKE_ENVIRONMENT_PATH REQUIRED eigen3)
+   if(DEFINED EIGEN_PATH)
+     set(ENV{PKG_CONFIG_PATH} ${_eigen_old_pkg_path})
+   endif()
   if (NOT  EIGEN3_FOUND)
     cmessage(CWARNING "Eigen library not found")
   else()