From b80332910ee12415c7e69bc8a116b409181c1057 Mon Sep 17 00:00:00 2001
From: Luc Papeleux <L.Papeleux@ULiege.be>
Date: Thu, 25 May 2023 17:02:42 +0200
Subject: [PATCH] install eigen 3.4.0

---
 cfg/clifton/eigen.profile | 1 +
 cfg/clifton/gmsh.profile  | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 cfg/clifton/eigen.profile

diff --git a/cfg/clifton/eigen.profile b/cfg/clifton/eigen.profile
new file mode 100644
index 0000000..b0978f2
--- /dev/null
+++ b/cfg/clifton/eigen.profile
@@ -0,0 +1 @@
+add2env INCLUDE /opt/eigen/include/eigen3
diff --git a/cfg/clifton/gmsh.profile b/cfg/clifton/gmsh.profile
index 4a3ec05..3bb33ff 100644
--- a/cfg/clifton/gmsh.profile
+++ b/cfg/clifton/gmsh.profile
@@ -1,4 +1,3 @@
-
 add2env PATH "/opt/gmsh/bin" front
 add2env INCLUDE "/opt/gmsh/include" front
 add2env LIB "/opt/gmsh/lib" front
-- 
GitLab