summaryrefslogtreecommitdiff
path: root/.gitlab-ci
diff options
context:
space:
mode:
authorFeRD (Frank Dana) <ferdnyc@gmail.com>2023-01-10 07:56:30 -0500
committerChristian Hergert <christian@hergert.me>2023-01-10 22:18:05 +0000
commit18ad9c55833e9d7ad82a9f2248f186d67cc48230 (patch)
tree60998173ac71957383eb1caea813c7801ca36dbd /.gitlab-ci
parent10766f423732b51c4d1d568a3ea93a6b978df064 (diff)
downloadgtksourceview-18ad9c55833e9d7ad82a9f2248f186d67cc48230.tar.gz
CI: Use distro gi-docgen in Dockerfile
The gi-docgen installed in /home/user/.local/bin/ is actually less recent than the Fedora 36 gi-docgen RPM, so we can just install that via `dnf` instead. (And drop `pip`, since we no longer need it.)
Diffstat (limited to '.gitlab-ci')
-rw-r--r--.gitlab-ci/fedora.Dockerfile5
1 files changed, 1 insertions, 4 deletions
diff --git a/.gitlab-ci/fedora.Dockerfile b/.gitlab-ci/fedora.Dockerfile
index 26c4ab9d..6ff5a2d3 100644
--- a/.gitlab-ci/fedora.Dockerfile
+++ b/.gitlab-ci/fedora.Dockerfile
@@ -9,9 +9,9 @@ RUN dnf -y install \
ninja-build \
pkgconf \
clang \
+ gi-docgen \
gobject-introspection-devel \
vulkan-headers \
- python3-pip \
wayland-devel \
wayland-protocols-devel \
sysprof-devel
@@ -28,7 +28,4 @@ RUN useradd -u $HOST_USER_ID -G wheel -ms /bin/bash user
USER user
WORKDIR /home/user
-ENV PATH="/home/user/.local/bin:${PATH}"
-RUN pip3 install --user --upgrade gi-docgen
-
ENV LANG C.UTF-8