2019-11-28 16:56:53 -05:00
|
|
|
# Generate toolchain download links from toolchain info makefile
|
|
|
|
|
from __future__ import print_function
|
|
|
|
|
import os.path
|
2020-02-04 01:36:23 -05:00
|
|
|
from .util import copy_if_modified, call_with_python
|
2019-11-28 16:56:53 -05:00
|
|
|
|
2020-02-03 01:38:45 -05:00
|
|
|
|
2019-11-28 16:56:53 -05:00
|
|
|
def setup(app):
|
|
|
|
|
# we don't actually need idf-info, just a convenient event to trigger this on
|
|
|
|
|
app.connect('idf-info', generate_idf_tools_links)
|
|
|
|
|
|
|
|
|
|
return {'parallel_read_safe': True, 'parallel_write_safe': True, 'version': '0.1'}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def generate_idf_tools_links(app, project_description):
|
|
|
|
|
print("Generating IDF Tools list")
|
|
|
|
|
os.environ["IDF_MAINTAINER"] = "1"
|
|
|
|
|
tools_rst = os.path.join(app.config.build_dir, 'inc', 'idf-tools-inc.rst')
|
|
|
|
|
tools_rst_tmp = os.path.join(app.config.build_dir, 'idf-tools-inc.rst')
|
|
|
|
|
call_with_python("{}/tools/idf_tools.py gen-doc --output {}".format(app.config.idf_path, tools_rst_tmp))
|
|
|
|
|
copy_if_modified(tools_rst_tmp, tools_rst)
|
