File: add_eigen_include_directories.patch

package info (click to toggle)
getdp 3.5.0%2Bdfsg1-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 10,796 kB
  • sloc: cpp: 71,740; fortran: 13,955; yacc: 9,666; f90: 1,640; lex: 813; makefile: 54; ansic: 34; awk: 33; sh: 6
file content (17 lines) | stat: -rw-r--r-- 540 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
diff --git a/CMakeLists.txt b/CMakeLists.txt
index bb2a3f1..93a4be6 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -390,6 +390,12 @@ if(ENABLE_GMSH)
     list(APPEND EXTERNAL_INCLUDES ${GMSH_INC} ${GMSH_INC}/gmsh)
     set_config_option(HAVE_GMSH "Gmsh")
   endif()
+  # gmsh debian package installation uses system-wide eigen installation
+  # rather than contib installation
+  find_path(EIGEN_INC "Eigen/Dense" PATH_SUFFIXES eigen3)
+  if(EIGEN_INC)
+    include_directories(${EIGEN_INC})
+  endif()
 endif()
 
 if(ENABLE_SMALLFEM)