gnome-shell: patch to use host gjs, set strictDeps (#526179)

This commit is contained in:
Michael Daniels
2026-07-31 20:35:55 +00:00
committed by GitHub
+5
View File
@@ -197,6 +197,9 @@ stdenv.mkDerivation (finalAttrs: {
# We can generate it ourselves.
rm -f man/gnome-shell.1
rm data/theme/gnome-shell-{light,dark}.css
substituteInPlace meson.build subprojects/extensions-app/meson.build \
--replace-fail "gjs = find_program('gjs')" "gjs = find_program('${lib.getExe gjs}')"
'';
preInstall = ''
@@ -253,6 +256,8 @@ stdenv.mkDerivation (finalAttrs: {
};
};
strictDeps = true;
meta = {
description = "Core user interface for the GNOME 3 desktop";
homepage = "https://gitlab.gnome.org/GNOME/gnome-shell";