dexter submitted this change.
jenkins: build docs in virtualenv as well
The build system uses a virtual environment, in which it installs
pysim and its dependencies. This is done for the integration tests,
but not when building the sphinx documentation. However, the
documentation build process also invokes pysim code to generate
documentation from the docstrings. This means we need pysim with
all its dependencies for the doc building as well.
Change-Id: I6381eeef7fa19873ca0cc330a0ab43b7ef5096e4
Related: SYS#7094
---
M contrib/jenkins.sh
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 5fa5226..de1d9f8 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -77,6 +77,11 @@
contrib/*.py
;;
"docs")
+ virtualenv -p python3 venv --system-site-packages
+ . venv/bin/activate
+
+ pip install -r requirements.txt
+
rm -rf docs/_build
make -C "docs" html latexpdf
To view, visit change 38372. To unsubscribe, or for help writing mail filters, visit settings.