From c41b38e3ed73d9ea95b5d55c015bf367aa98bc18 Mon Sep 17 00:00:00 2001
From: Luc <L.Papeleux@ULiege.be>
Date: Thu, 25 May 2023 15:38:14 +0200
Subject: [PATCH] install eigen-3.4.0 => vaillant config file

---
 cfg/vaillant/eigen.profile | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 cfg/vaillant/eigen.profile

diff --git a/cfg/vaillant/eigen.profile b/cfg/vaillant/eigen.profile
new file mode 100644
index 0000000..8477a38
--- /dev/null
+++ b/cfg/vaillant/eigen.profile
@@ -0,0 +1 @@
+add2env INCLUDE "/opt/eigen/include/eigen3"
-- 
GitLab