diff options
| author | Chris Johns <chrisj@rtems.org> | 2020-04-03 11:09:47 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2020-04-03 11:11:11 +1100 |
| commit | d514e3308e908da244f7b60f39c55cd826f1ad6d (patch) | |
| tree | 0f8c7c1275d683a6cbf27a1d776be918fc5fbfe4 /common | |
| parent | 3f1622e40ee1daf192792f946db6184c7c9c7c88 (diff) | |
waf: User friendly message when no sphinx is installed
Diffstat (limited to 'common')
| -rw-r--r-- | common/waf.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/common/waf.py b/common/waf.py index 36feef5..7027eb6 100644 --- a/common/waf.py +++ b/common/waf.py @@ -87,6 +87,9 @@ class linkcheck(BuildContext): def check_sphinx_version(ctx, minver): try: import sphinx + except: + ctx.fatal('no sphinx support found; please install') + try: # sphinx.version_info was introduced in sphinx ver 1.2 version = sphinx.version_info # version looks like (1, 7, 0, 'final', 0)) |