gen_idf_tools_links.py 860 B

1234567891011121314151617181920
  1. # Generate toolchain download links from toolchain info makefile
  2. from __future__ import print_function
  3. import os.path
  4. from .util import copy_if_modified, call_with_python
  5. def setup(app):
  6. # we don't actually need idf-info, just a convenient event to trigger this on
  7. app.connect('idf-info', generate_idf_tools_links)
  8. return {'parallel_read_safe': True, 'parallel_write_safe': True, 'version': '0.1'}
  9. def generate_idf_tools_links(app, project_description):
  10. print("Generating IDF Tools list")
  11. os.environ["IDF_MAINTAINER"] = "1"
  12. tools_rst = os.path.join(app.config.build_dir, 'inc', 'idf-tools-inc.rst')
  13. tools_rst_tmp = os.path.join(app.config.build_dir, 'idf-tools-inc.rst')
  14. call_with_python("{}/tools/idf_tools.py gen-doc --output {}".format(app.config.idf_path, tools_rst_tmp))
  15. copy_if_modified(tools_rst_tmp, tools_rst)