11version : 2
22
33formats :
4- # - pdf
54 - htmlzip
5+ # - pdf
6+
7+ sphinx :
8+ configuration : docs/conf.py
69
710build :
811 os : ubuntu-24.04
3033 - asdf global uv latest
3134 - wget https://github.com/Z3Prover/z3/releases/download/z3-4.13.4/z3-4.13.4-x64-glibc-2.35.zip
3235 - unzip z3-4.13.4-x64-glibc-2.35.zip -d ~/
33- # Set up build time dependencies including a source distribution of mqt-core.
34- - uv sync --only-group build --only-group docs --no-binary-package mqt-core
35- # The default version of CMake on Ubuntu 24.04 is too old, so we need to install a newer version.
36+ # Set up build- time dependencies
37+ - uv sync --only-group build --only-group docs
38+ # Install CMake because the default version on Ubuntu 24.04 is too old
3639 - uv pip install cmake
3740 build :
3841 html :
@@ -41,11 +44,8 @@ build:
4144 - Z3_ROOT=~/z3-4.13.4-x64-glibc-2.35 uv run --frozen --no-dev --no-build-isolation-package mqt-qmap -m sphinx -T -b dirhtml -d docs/_build/doctrees -D language=en docs docs/_build/dirhtml
4245 - mkdir -p $READTHEDOCS_OUTPUT/htmlzip
4346 - zip -r $READTHEDOCS_OUTPUT/htmlzip/html.zip docs/_build/dirhtml/*
44- # pdf:
45- # - Z3_ROOT=~/z3-4.13.4-x64-glibc-2.35 uv run --frozen --no-dev --no-build-isolation-package mqt-qmap -m sphinx -T -b latex -d docs/_build/doctrees -D language=en docs docs/_build/latex
46- # - cd docs/_build/latex && latexmk -pdf -f -dvi- -ps- -interaction=nonstopmode -jobname=$READTHEDOCS_PROJECT
47- # - mkdir -p $READTHEDOCS_OUTPUT/pdf
48- # - cp docs/_build/latex/$READTHEDOCS_PROJECT.pdf $READTHEDOCS_OUTPUT/pdf/$READTHEDOCS_PROJECT.pdf
49-
50- sphinx :
51- configuration : docs/conf.py
47+ # pdf:
48+ # - Z3_ROOT=~/z3-4.13.4-x64-glibc-2.35 uv run --frozen --no-dev --no-build-isolation-package mqt-qmap -m sphinx -T -b latex -d docs/_build/doctrees -D language=en docs docs/_build/latex
49+ # - cd docs/_build/latex && latexmk -pdf -f -dvi- -ps- -interaction=nonstopmode -jobname=$READTHEDOCS_PROJECT
50+ # - mkdir -p $READTHEDOCS_OUTPUT/pdf
51+ # - cp docs/_build/latex/$READTHEDOCS_PROJECT.pdf $READTHEDOCS_OUTPUT/pdf/$READTHEDOCS_PROJECT.pdf
0 commit comments