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
This commit is contained in:
Philipp Maier
2024-10-09 16:56:26 +02:00
parent 7429bc0ca0
commit 7c62fc5ec4

View File

@@ -77,6 +77,11 @@ case "$JOB_TYPE" in
contrib/*.py contrib/*.py
;; ;;
"docs") "docs")
virtualenv -p python3 venv --system-site-packages
. venv/bin/activate
pip install -r requirements.txt
rm -rf docs/_build rm -rf docs/_build
make -C "docs" html latexpdf make -C "docs" html latexpdf