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
32
33
34
|
option('gnome_distributor',
type: 'string', value: 'GNOME.Org',
description: 'Specify name of GNOME distributor'
)
option('date_in_gnome_version',
type: 'boolean', value: true,
description: 'Include the build date in gnome-version.xml'
)
option('desktop_docs',
type: 'boolean', value: true,
description: 'Build desktop-wide help documents'
)
option('debug_tools',
type: 'boolean', value: true, description: 'Build debug tools'
)
option('udev',
type: 'feature', description: 'Udev support'
)
option('systemd',
type: 'feature', description: 'Systemd integration support'
)
option('gtk_doc',
type: 'boolean', value: false, description: 'Build API reference'
)
option('installed_tests',
type: 'boolean', value: false, description: 'Enable installed tests'
)
|
