abd8032fe5
gnome-shell depends on gdm's client library at runtime, but the new pipeline-built image no longer provides it. Add it back, but built it from source instead of using the Fedora package, so we don't draw in all of gdm's runtime dependencies (which includes a full GNOME session including gnome-shell). Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1590>
32 lines
496 B
Bash
Executable file
32 lines
496 B
Bash
Executable file
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
if [[ $# -lt 3 ]]; then
|
|
echo Usage: $0 [options] [repo-url] [commit] [subdir]
|
|
echo Options:
|
|
echo -Dkey=val
|
|
exit 1
|
|
fi
|
|
|
|
MESON_OPTIONS=()
|
|
|
|
while [[ $1 =~ ^-D ]]; do
|
|
MESON_OPTIONS+=( "$1" )
|
|
shift
|
|
done
|
|
|
|
REPO_URL="$1"
|
|
COMMIT="$2"
|
|
SUBDIR="$3"
|
|
|
|
REPO_DIR="$(basename ${REPO_URL%.git})"
|
|
|
|
git clone --depth 1 "$REPO_URL" -b "$COMMIT"
|
|
pushd "$REPO_DIR"
|
|
pushd "$SUBDIR"
|
|
meson --prefix=/usr _build "${MESON_OPTIONS[@]}"
|
|
ninja -C _build install
|
|
popd
|
|
popd
|
|
rm -rf "$REPO_DIR"
|