diff options
| author | Bilal Elmoussaoui <belmouss@redhat.com> | 2022-03-03 11:51:00 +0100 |
|---|---|---|
| committer | Marge Bot <marge-bot@gnome.org> | 2022-03-03 15:07:38 +0000 |
| commit | 7717383deb58fdd25aa648932995b43a31148f80 (patch) | |
| tree | c569934961dc630d1561a2cd19e4ef4a7c081b20 /meson_options.txt | |
| parent | daaeadcf4f93182f7e7dc6e6c9b237b965abb73b (diff) | |
| download | mutter-7717383deb58fdd25aa648932995b43a31148f80.tar.gz | |
meson: Allow to build without gnome-desktop
gnome-desktop is used to retrieve the monitor vendor name which in some
use cases is not needed as it brings a bunch of gnome-desktop unwanted
dependencies.
The change makes mutter fallback to an "Undefined" vendor name if it is
built without gnome-desktop
Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2317>
Diffstat (limited to 'meson_options.txt')
| -rw-r--r-- | meson_options.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/meson_options.txt b/meson_options.txt index 986199ce6..da755393c 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -57,6 +57,12 @@ option('remote_desktop', description: 'Enable remote desktop and screen cast support' ) +option('libgnome_desktop', + type: 'boolean', + value: true, + description: 'Build with or without gnome-desktop' +) + option('egl_device', type: 'boolean', value: false, |