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     patches : []
  20     source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
  21     build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name
  22     install_dir : 'base'
  23     properties:
  24     {
  25       incremental : "yes"
  26       pip : "yes"
  27     }
  28 }
  29
  30 version_0_1_9:
  31 {
  32     patches : [ 'sphinx_rtd_theme-0.1.9_no_dependence_sphinx.patch']
  33     properties:
  34     {
  35       incremental : "yes"
  36       pip : "no"
  37     }
  38 }
  39
  40 version_0_4_3_win_dbg:
  41 {
  42     name : "sphinx_rtd_theme"
  43     build_source : "script"
  44     compil_script :  "sphinx_rtd_theme.bat"
  45     get_source : "archive"
  46     archive_info : {archive_name : "sphinx_rtd_theme-0.4.3.tar.gz"}
  47     environ :
  48     {
  49        env_script : "sphinx_rtd_theme.py"
  50     }
  51     depend : ['Python', 'Sphinx']
  52     patches : []
  53     source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
  54     build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name
  55     install_dir : 'base'
  56     properties:
  57     {
  58       incremental : "yes"
  59       pip : "no"
  60     }
  61 }