2018-04-07 00:48:02 +02:00
|
|
|
#!/usr/bin/env python
|
2019-07-12 08:46:20 +02:00
|
|
|
from __future__ import (absolute_import, division, print_function)
|
|
|
|
__metaclass__ = type
|
2018-04-07 00:48:02 +02:00
|
|
|
|
|
|
|
import os
|
|
|
|
import re
|
|
|
|
import subprocess
|
2018-09-21 09:22:18 +02:00
|
|
|
import sys
|
2018-04-07 00:48:02 +02:00
|
|
|
|
|
|
|
|
|
|
|
def main():
|
2018-09-21 09:22:18 +02:00
|
|
|
base_dir = os.getcwd() + os.path.sep
|
2018-04-07 00:48:02 +02:00
|
|
|
docs_dir = os.path.abspath('docs/docsite')
|
2020-07-17 22:07:35 +02:00
|
|
|
cmd = ['make', 'base_singlehtmldocs']
|
2018-04-07 00:48:02 +02:00
|
|
|
|
|
|
|
sphinx = subprocess.Popen(cmd, stdout=subprocess.PIPE, stderr=subprocess.PIPE, cwd=docs_dir)
|
|
|
|
stdout, stderr = sphinx.communicate()
|
|
|
|
|
2018-09-21 09:22:18 +02:00
|
|
|
stdout = stdout.decode('utf-8')
|
|
|
|
stderr = stderr.decode('utf-8')
|
|
|
|
|
2018-04-07 00:48:02 +02:00
|
|
|
if sphinx.returncode != 0:
|
2018-09-21 09:22:18 +02:00
|
|
|
sys.stderr.write("Command '%s' failed with status code: %d\n" % (' '.join(cmd), sphinx.returncode))
|
|
|
|
|
|
|
|
if stdout.strip():
|
2018-09-24 18:30:50 +02:00
|
|
|
stdout = simplify_stdout(stdout)
|
|
|
|
|
2018-09-21 09:22:18 +02:00
|
|
|
sys.stderr.write("--> Standard Output\n")
|
|
|
|
sys.stderr.write("%s\n" % stdout.strip())
|
|
|
|
|
|
|
|
if stderr.strip():
|
|
|
|
sys.stderr.write("--> Standard Error\n")
|
|
|
|
sys.stderr.write("%s\n" % stderr.strip())
|
|
|
|
|
|
|
|
sys.exit(1)
|
2018-04-07 00:48:02 +02:00
|
|
|
|
|
|
|
with open('docs/docsite/rst_warnings', 'r') as warnings_fd:
|
|
|
|
output = warnings_fd.read().strip()
|
|
|
|
lines = output.splitlines()
|
|
|
|
|
2018-04-20 08:09:48 +02:00
|
|
|
known_warnings = {
|
|
|
|
'block-quote-missing-blank-line': r'^Block quote ends without a blank line; unexpected unindent.$',
|
|
|
|
'literal-block-lex-error': r'^Could not lex literal_block as "[^"]*". Highlighting skipped.$',
|
|
|
|
'duplicate-label': r'^duplicate label ',
|
|
|
|
'undefined-label': r'undefined label: ',
|
|
|
|
'unknown-document': r'unknown document: ',
|
|
|
|
'toc-tree-missing-document': r'toctree contains reference to nonexisting document ',
|
|
|
|
'reference-target-not-found': r'[^ ]* reference target not found: ',
|
|
|
|
'not-in-toc-tree': r"document isn't included in any toctree$",
|
|
|
|
'unexpected-indentation': r'^Unexpected indentation.$',
|
|
|
|
'definition-list-missing-blank-line': r'^Definition list ends without a blank line; unexpected unindent.$',
|
|
|
|
'explicit-markup-missing-blank-line': r'Explicit markup ends without a blank line; unexpected unindent.$',
|
|
|
|
'toc-tree-glob-pattern-no-match': r"^toctree glob pattern '[^']*' didn't match any documents$",
|
|
|
|
'unknown-interpreted-text-role': '^Unknown interpreted text role "[^"]*".$',
|
|
|
|
}
|
|
|
|
|
2018-04-07 00:48:02 +02:00
|
|
|
for line in lines:
|
|
|
|
match = re.search('^(?P<path>[^:]+):((?P<line>[0-9]+):)?((?P<column>[0-9]+):)? (?P<level>WARNING|ERROR): (?P<message>.*)$', line)
|
|
|
|
|
|
|
|
if not match:
|
|
|
|
path = 'docs/docsite/rst/index.rst'
|
|
|
|
lineno = 0
|
|
|
|
column = 0
|
2018-04-20 08:09:48 +02:00
|
|
|
code = 'unknown'
|
2018-04-07 00:48:02 +02:00
|
|
|
message = line
|
|
|
|
|
|
|
|
# surface unknown lines while filtering out known lines to avoid excessive output
|
2018-04-20 08:09:48 +02:00
|
|
|
print('%s:%d:%d: %s: %s' % (path, lineno, column, code, message))
|
2018-04-07 00:48:02 +02:00
|
|
|
continue
|
|
|
|
|
|
|
|
path = match.group('path')
|
|
|
|
lineno = int(match.group('line') or 0)
|
|
|
|
column = int(match.group('column') or 0)
|
|
|
|
level = match.group('level').lower()
|
|
|
|
message = match.group('message')
|
|
|
|
|
|
|
|
path = os.path.abspath(path)
|
|
|
|
|
|
|
|
if path.startswith(base_dir):
|
|
|
|
path = path[len(base_dir):]
|
|
|
|
|
2018-04-20 08:09:48 +02:00
|
|
|
if path.startswith('rst/'):
|
|
|
|
path = 'docs/docsite/' + path # fix up paths reported relative to `docs/docsite/`
|
|
|
|
|
2018-04-07 00:48:02 +02:00
|
|
|
if level == 'warning':
|
2018-04-20 08:09:48 +02:00
|
|
|
code = 'warning'
|
|
|
|
|
|
|
|
for label, pattern in known_warnings.items():
|
|
|
|
if re.search(pattern, message):
|
|
|
|
code = label
|
|
|
|
break
|
|
|
|
else:
|
|
|
|
code = 'error'
|
|
|
|
|
|
|
|
print('%s:%d:%d: %s: %s' % (path, lineno, column, code, message))
|
|
|
|
|
2018-04-07 00:48:02 +02:00
|
|
|
|
2018-09-24 18:30:50 +02:00
|
|
|
def simplify_stdout(value):
|
|
|
|
"""Simplify output by omitting earlier 'rendering: ...' messages."""
|
|
|
|
lines = value.strip().splitlines()
|
|
|
|
|
|
|
|
rendering = []
|
|
|
|
keep = []
|
|
|
|
|
|
|
|
def truncate_rendering():
|
|
|
|
"""Keep last rendering line (if any) with a message about omitted lines as needed."""
|
|
|
|
if not rendering:
|
|
|
|
return
|
|
|
|
|
|
|
|
notice = rendering[-1]
|
|
|
|
|
|
|
|
if len(rendering) > 1:
|
|
|
|
notice += ' (%d previous rendering line(s) omitted)' % (len(rendering) - 1)
|
|
|
|
|
|
|
|
keep.append(notice)
|
2020-05-05 19:55:26 +02:00
|
|
|
# Could change to rendering.clear() if we do not support python2
|
2018-09-24 18:30:50 +02:00
|
|
|
rendering[:] = []
|
|
|
|
|
|
|
|
for line in lines:
|
|
|
|
if line.startswith('rendering: '):
|
|
|
|
rendering.append(line)
|
|
|
|
continue
|
|
|
|
|
|
|
|
truncate_rendering()
|
|
|
|
keep.append(line)
|
|
|
|
|
|
|
|
truncate_rendering()
|
|
|
|
|
|
|
|
result = '\n'.join(keep)
|
|
|
|
|
|
|
|
return result
|
|
|
|
|
|
|
|
|
2018-04-07 00:48:02 +02:00
|
|
|
if __name__ == '__main__':
|
|
|
|
main()
|