diff options
| author | Carlos Garnacho <carlosg@gnome.org> | 2023-02-16 16:08:16 +0100 |
|---|---|---|
| committer | Marge Bot <marge-bot@gnome.org> | 2023-03-03 20:17:01 +0000 |
| commit | 2e49c1626450eea687b122b4c094d1265ba1c143 (patch) | |
| tree | 68959f1a4c70967bce4fdb9299e46838575f7547 /meson.build | |
| parent | cd6b338ece26ba7fdc741f9236f2f7c8d23c69f8 (diff) | |
| download | mutter-2e49c1626450eea687b122b4c094d1265ba1c143.tar.gz | |
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>
Diffstat (limited to 'meson.build')
| -rw-r--r-- | meson.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/meson.build b/meson.build index eea427a0f..66122ec40 100644 --- a/meson.build +++ b/meson.build @@ -172,7 +172,7 @@ endif have_gnome_desktop = get_option('libgnome_desktop') if have_gnome_desktop - gnome_desktop_dep = dependency('gnome-desktop-3.0') + gnome_desktop_dep = dependency('gnome-desktop-4') endif have_sound_player = get_option('sound_player') |