From 056104c3dc1caabfb656f5f334721113184cd353 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Mon, 13 Jun 2022 17:18:01 +0200
Subject: [PATCH] eigen: fix directory where header files are installed

Eigen installs header files by default in
${EIGEN_INCLUDE_DIR}/eigen3.
---
 Compiler/eigen/build | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/Compiler/eigen/build b/Compiler/eigen/build
index 21fe52d..0bcac3b 100755
--- a/Compiler/eigen/build
+++ b/Compiler/eigen/build
@@ -4,4 +4,18 @@
 pbuild::add_to_group 'Compiler'
 pbuild::set_download_url "https://gitlab.com/libeigen/$P/-/archive/${V_PKG}/$P-${V_PKG}.tar.bz2"
 
+pbuild::pre_configure(){
+        pbuild::add_configure_args "-DINCLUDE_INSTALL_DIR=${PREFIX}include"
+}
+
+pbuild::post_install(){
+	cd "${PREFIX}/include"
+	ln -s . eigen3
+}
+
+# Local Variables:
+# mode: sh
+# sh-basic-offset: 8
+# tab-width: 8
+# End: