fix: remove unneeded dependencies for documentation generation

While cmake does need all of biboumi's dependencies to generate
documentation, there is an existing Makefile which does not. So we can
save some time by not downloading as many dependencies
This commit is contained in:
Luca Matei Pintilie
2025-04-18 21:23:33 +00:00
committed by mathieui
parent b1d1308443
commit 0a9b159581
+3 -6
View File
@@ -16,11 +16,8 @@ steps:
build: build:
image: docker.io/alpine:3.21 image: docker.io/alpine:3.21
commands: commands:
# Must install all of biboumi's dependencies to satisfy cmake - apk add --no-cache py3-sphinx py3-sphinx_rtd_theme make
- apk add --no-cache --virtual .build py3-sphinx py3-sphinx_rtd_theme cmake expat-dev g++ git libidn-dev make postgresql-dev python3 sqlite-dev udns-dev util-linux-dev botan-dev - cd doc
- mkdir -p build
- cd build
- cmake .. -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=Release -DWITH_BOTAN=1 -DWITH_SQLITE3=1 -DWITH_LIBIDN=1 -DWITH_POSTGRESQL=1
- make html - make html
when: when:
event: [pull_request, push] event: [pull_request, push]
@@ -37,7 +34,7 @@ steps:
- git config --global user.name "CI" - git config --global user.name "CI"
- git clone https://$CODEBERG_TOKEN@codeberg.org/biboumi/pages.git pages - git clone https://$CODEBERG_TOKEN@codeberg.org/biboumi/pages.git pages
# Copy build step output to repository folder # Copy build step output to repository folder
- cp -ar build/html/* pages/doc/ - cp -ar doc/_build/html/* pages/doc/
# Needed for custom domains # Needed for custom domains
- cp .domains pages || true # Ignore if it doesn't exist - cp .domains pages || true # Ignore if it doesn't exist
# Commit and push all static files with pipeline started timestamp # Commit and push all static files with pipeline started timestamp