products/env_scripts/eigen.py

   1 #!/usr/bin/env python
   2 #-*- coding:utf-8 -*-
   3
   4 import os.path
   5 import platform
   6
   7 def set_env(env, prereq_dir, version):
   8   env.set('EIGEN_ROOT_DIR', prereq_dir)
   9   env.set('Eigen3_DIR', prereq_dir)
  10   root = env.get('EIGEN_ROOT_DIR')
  11   if platform.system() != "Windows" :
  12     pass
  13   else:
  14     env.prepend('PATH', os.path.join(root, 'include', 'eigen3'))
  15
  16 def set_nativ_env(env):
  17   env.set('EIGEN_ROOT_DIR', '/usr')