From 5fc2ebbf2cf802117e7f96dfa002de56b4f36271 Mon Sep 17 00:00:00 2001
From: Nabil Ghodbane <nabil.ghodbane@cea.fr>
Date: Tue, 18 Oct 2022 14:27:03 +0200
Subject: [PATCH] no need to have PATH extended with
 %EIGEN_ROOT_DIR%\include\eigen3

---
 products/env_scripts/eigen.py | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/products/env_scripts/eigen.py b/products/env_scripts/eigen.py
index 8e91f0b..e1e8e0f 100644
--- a/products/env_scripts/eigen.py
+++ b/products/env_scripts/eigen.py
@@ -7,11 +7,6 @@ import platform
 def set_env(env, prereq_dir, version):
   env.set('EIGEN_ROOT_DIR', prereq_dir)
   env.set('Eigen3_DIR', prereq_dir)
-  root = env.get('EIGEN_ROOT_DIR')
-  if platform.system() != "Windows" :
-    pass
-  else:
-    env.prepend('PATH', os.path.join(root, 'include', 'eigen3'))
 
 def set_nativ_env(env):
   env.set('EIGEN_ROOT_DIR', '/usr')
-- 
2.39.2