mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
ba43c61917
We started to support Soup3 in GNOME 41, and used it by default since GNOME 43. This should be enough time for distros to adapt, so GNOME 45 looks like a good moment to drop the old Soup2 support. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2776>
41 lines
700 B
Meson
41 lines
700 B
Meson
option('extensions_tool',
|
|
type: 'boolean',
|
|
value: true,
|
|
description: 'Build gnome-extensions CLI tool'
|
|
)
|
|
|
|
option('extensions_app',
|
|
type: 'boolean',
|
|
value: true,
|
|
description: 'Build gnome-extensions GUI application'
|
|
)
|
|
|
|
option('gtk_doc',
|
|
type: 'boolean',
|
|
value: false,
|
|
description: 'Build API reference'
|
|
)
|
|
|
|
option('man',
|
|
type: 'boolean',
|
|
value: true,
|
|
description: 'Generate man pages'
|
|
)
|
|
|
|
option('tests',
|
|
type: 'boolean',
|
|
value: true,
|
|
description: 'Enable tests'
|
|
)
|
|
|
|
option('networkmanager',
|
|
type: 'boolean',
|
|
value: true,
|
|
description: 'Enable NetworkManager support'
|
|
)
|
|
|
|
option('systemd',
|
|
type: 'boolean',
|
|
value: true,
|
|
description: 'Enable systemd integration'
|
|
)
|