no need to have PATH extended with %EIGEN_ROOT_DIR%\include\eigen3

diff --git a/products/env_scripts/eigen.py b/products/env_scripts/eigen.py
index 8e91f0be8641a32d511486beb5d98805bb27765d..e1e8e0f10059410d52742884e2b8fe7bbbdf6ae7 100644 (file)
--- 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')