products/sphinx_rtd_theme.pyconf

   1 default :
   2 {
   3     name : "sphinx_rtd_theme"
   4     build_source : "script"
   5     compil_script :  $name + ".sh"
   6     get_source : "archive"
   7     system_info :
   8     {
   9         rpm : ["python3-sphinx_rtd_theme"]
  10         rpm_dev : []
  11         apt : ["python3-sphinx-rtd-theme"]
  12         apt_dev : []
  13     }
  14     environ :
  15     {
  16        env_script : $name + ".py"
  17     }
  18     depend : ['Python', 'Sphinx']
  19     opt_depend : ['docutils', 'sphinxcontrib_jquery']
  20     patches : []
  21     source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
  22     build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name
  23     install_dir : 'base'
  24     properties:
  25     {
  26       incremental : "yes"
  27       pip : "yes"
  28     }
  29 }
  30
  31 version_0_1_9:
  32 {
  33     patches : [ 'sphinx_rtd_theme-0.1.9_no_dependence_sphinx.patch']
  34     properties:
  35     {
  36       incremental : "yes"
  37       pip : "no"
  38     }
  39 }
  40
  41 version_0_4_3_win_dbg:
  42 {
  43     name : "sphinx_rtd_theme"
  44     build_source : "script"
  45     compil_script :  "sphinx_rtd_theme.bat"
  46     get_source : "archive"
  47     archive_info : {archive_name : "sphinx_rtd_theme-0.4.3.tar.gz"}
  48     environ :
  49     {
  50        env_script : "sphinx_rtd_theme.py"
  51     }
  52     depend : ['Python', 'Sphinx']
  53     patches : []
  54     source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
  55     build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name
  56     install_dir : 'base'
  57     properties:
  58     {
  59       incremental : "yes"
  60       pip : "no"
  61     }
  62 }