1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
option(
'gtk_doc',
type: 'boolean', value: true,
description: 'Build API reference for plugins (requires gtk-doc)'
)
# If this option is kept to false, then it's an automatic behavior: if the
# third party program is found, then the test is defined.
# Setting this option to true will stop the configure phase with a hard error
# if a third party program is not found and is required to define a test.
option(
'require_all_tests',
type: 'boolean', value: false,
description: 'Require that all tests can be run, even those that depend on third party programs'
)
# For developers. Disabling the option speeds up the install.
option(
'user_documentation',
type: 'boolean', value: true,
description: 'Build user documentation'
)
option('plugin_externaltools', type: 'boolean', value: true)
# For the side panel switcher menu. If false, the switcher will be placed in the
# headerbar. If true, it will be inside the panel.
# Only macOS should choose a value for this option (or for testing purposes).
# If a value of false works on macOS, then this option can be removed
# altogether, to simplify the code.
option('inline_side_panel_switcher', type: 'boolean', value: false)
|
