2018-08-26 18:55:13 +02:00
|
|
|
option('extensions_tool',
|
|
|
|
type: 'boolean',
|
|
|
|
value: true,
|
|
|
|
description: 'Build gnome-extensions CLI tool'
|
|
|
|
)
|
|
|
|
|
2019-12-01 03:01:02 +01:00
|
|
|
option('extensions_app',
|
|
|
|
type: 'boolean',
|
|
|
|
value: true,
|
|
|
|
description: 'Build gnome-extensions GUI application'
|
|
|
|
)
|
|
|
|
|
2017-11-25 07:10:26 +01:00
|
|
|
option('gtk_doc',
|
2017-05-25 02:16:27 +02:00
|
|
|
type: 'boolean',
|
|
|
|
value: false,
|
|
|
|
description: 'Build API reference'
|
|
|
|
)
|
|
|
|
|
2017-11-25 07:10:26 +01:00
|
|
|
option('man',
|
2017-05-25 02:16:27 +02:00
|
|
|
type: 'boolean',
|
|
|
|
value: true,
|
|
|
|
description: 'Generate man pages'
|
|
|
|
)
|
|
|
|
|
2021-09-06 00:57:33 +02:00
|
|
|
option('tests',
|
|
|
|
type: 'boolean',
|
|
|
|
value: true,
|
|
|
|
description: 'Enable tests'
|
|
|
|
)
|
|
|
|
|
2017-11-25 07:10:26 +01:00
|
|
|
option('networkmanager',
|
2017-11-25 07:15:39 +01:00
|
|
|
type: 'boolean',
|
|
|
|
value: true,
|
2017-05-25 02:16:27 +02:00
|
|
|
description: 'Enable NetworkManager support'
|
|
|
|
)
|
|
|
|
|
2017-11-25 07:10:26 +01:00
|
|
|
option('systemd',
|
2017-11-25 07:15:39 +01:00
|
|
|
type: 'boolean',
|
|
|
|
value: true,
|
2017-05-25 02:16:27 +02:00
|
|
|
description: 'Enable systemd integration'
|
|
|
|
)
|
2021-08-29 14:24:42 +02:00
|
|
|
|
|
|
|
option('soup2',
|
|
|
|
type: 'boolean',
|
2022-06-17 18:28:53 +02:00
|
|
|
value: false,
|
2021-08-29 14:24:42 +02:00
|
|
|
description: 'Use Soup 2.4 instead of Soup 3. Must be in sync with libgweather'
|
|
|
|
)
|