summaryrefslogtreecommitdiffstats
path: root/common/waf.py
diff options
context:
space:
mode:
authorChris Johns <chrisj@rtems.org>2020-04-03 11:09:47 +1100
committerChris Johns <chrisj@rtems.org>2020-04-03 11:11:11 +1100
commitd514e3308e908da244f7b60f39c55cd826f1ad6d (patch)
tree0f8c7c1275d683a6cbf27a1d776be918fc5fbfe4 /common/waf.py
parentAdd virtualenv to the README.txt as the preferred host support. (diff)
downloadrtems-docs-d514e3308e908da244f7b60f39c55cd826f1ad6d.tar.bz2
waf: User friendly message when no sphinx is installed
Diffstat (limited to 'common/waf.py')
-rw-r--r--common/waf.py3
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))