build: Move to gnome-desktop-4 dependency

We no longer need gnome-desktop-3.0, and its dependency on gtk3 is
not desirable. Move to gnome-desktop-4 which actually does not
link to any GTK, conveniently for us.

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2864>
This commit is contained in:
Carlos Garnacho 2023-02-16 16:08:16 +01:00 committed by Marge Bot
parent cd6b338ece
commit 2e49c16264

View File

@ -172,7 +172,7 @@ endif
have_gnome_desktop = get_option('libgnome_desktop') have_gnome_desktop = get_option('libgnome_desktop')
if have_gnome_desktop if have_gnome_desktop
gnome_desktop_dep = dependency('gnome-desktop-3.0') gnome_desktop_dep = dependency('gnome-desktop-4')
endif endif
have_sound_player = get_option('sound_player') have_sound_player = get_option('sound_player')