From 7ca103eb292fd14456d6968cb20eec7ee0b336ac Mon Sep 17 00:00:00 2001
From: papeleux <L.Papeleux@ULiege.be>
Date: Wed, 31 Jan 2024 15:36:23 +0100
Subject: [PATCH] merge

---
 cfg/warson/eigen.profile |  1 -
 cfg/warson/gmsh.profile  | 10 ++++------
 2 files changed, 4 insertions(+), 7 deletions(-)
 delete mode 100644 cfg/warson/eigen.profile

diff --git a/cfg/warson/eigen.profile b/cfg/warson/eigen.profile
deleted file mode 100644
index 8477a38..0000000
--- a/cfg/warson/eigen.profile
+++ /dev/null
@@ -1 +0,0 @@
-add2env INCLUDE "/opt/eigen/include/eigen3"
diff --git a/cfg/warson/gmsh.profile b/cfg/warson/gmsh.profile
index 59205fd..bc68515 100644
--- a/cfg/warson/gmsh.profile
+++ b/cfg/warson/gmsh.profile
@@ -1,7 +1,5 @@
-add2env PATH "/opt/gmsh/bin" front
-add2env INCLUDE "/opt/gmsh/include" front
-add2env LIB     "/opt/gmsh/lib" front
+add2env PATH            "/opt/gmsh/bin" front
+add2env INCLUDE         "/opt/gmsh/include" front
+add2env LIB             "/opt/gmsh/lib" front
 add2env LD_LIBRARY_PATH "/opt/gmsh/lib"
-add2env PYTHONPATH "/opt/gmsh/lib"
-add2env INCLUDE "/opt/gmsh/include"
-add2env LIB "/opt/gmsh/lib"
+add2env PYTHONPATH      "/opt/gmsh/lib"
-- 
GitLab