diff options
Diffstat (limited to '')
-rw-r--r-- | meson_options.txt | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/meson_options.txt b/meson_options.txt new file mode 100644 index 0000000..ef76b73 --- /dev/null +++ b/meson_options.txt @@ -0,0 +1,35 @@ +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('networkmanager', + type: 'boolean', + value: true, + description: 'Enable NetworkManager support' +) + +option('systemd', + type: 'boolean', + value: true, + description: 'Enable systemd integration' +) |