3 name : "sphinx_rtd_theme"
4 build_source : "script"
5 compil_script : $name + ".sh"
9 rpm : ["python3-sphinx_rtd_theme"]
11 apt : ["python3-sphinx-rtd-theme"]
16 env_script : $name + ".py"
18 depend : ['Python', 'Sphinx']
20 source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
21 build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name
32 patches : [ 'sphinx_rtd_theme-0.1.9_no_dependence_sphinx.patch']
40 version_0_4_3_win_dbg:
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"}
49 env_script : "sphinx_rtd_theme.py"
51 depend : ['Python', 'Sphinx']
53 source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
54 build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name