products/env_scripts/sphinx_rtd_theme.py

   1 #!/usr/bin/env python
   2 #-*- coding:utf-8 -*-
   3
   4 import os.path, platform
   5
   6 def set_env(env, prereq_dir, version):
   7     env.set("SPHINX_RTD_THEME_ROOT_DIR",prereq_dir)
   8     env.prepend('PATH', os.path.join(prereq_dir, 'bin'))
   9
  10     if platform.system() == "Windows" :
  11         env.prepend('PYTHONPATH', os.path.join(prereq_dir, 'lib', 'site-packages'))
  12     else :
  13         versionPython = env.get('PYTHON_VERSION')
  14         env.prepend('PYTHONPATH',os.path.join(prereq_dir, 'lib', 'python' + versionPython, 'site-packages'))
  15         env.prepend('PYTHONPATH',os.path.join(prereq_dir, 'bin'))
  16
  17 def set_nativ_env(env):
  18     pass