2020-03-14 17:52:31 +00:00
|
|
|
option(
|
|
|
|
'gtk_doc',
|
2022-04-22 11:26:24 +00:00
|
|
|
type: 'boolean', value: true,
|
2020-03-14 17:52:31 +00:00
|
|
|
description: 'Build API reference for plugins (requires gtk-doc)'
|
|
|
|
)
|
2019-04-01 17:52:43 +00:00
|
|
|
|
2020-03-16 09:59:34 +00:00
|
|
|
# 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'
|
|
|
|
)
|
|
|
|
|
2022-11-08 15:00:01 +00:00
|
|
|
# For developers. Disabling the option speeds up the install.
|
2020-03-14 17:52:31 +00:00
|
|
|
option(
|
|
|
|
'user_documentation',
|
|
|
|
type: 'boolean', value: true,
|
|
|
|
description: 'Build user documentation'
|
|
|
|
)
|
2020-05-01 02:12:11 +00:00
|
|
|
|
2024-06-22 03:39:06 +00:00
|
|
|
option(
|
|
|
|
'buggy_plugins',
|
|
|
|
type: 'boolean', value: false,
|
|
|
|
description: 'Enable plugins that are known to be buggy and can crash the application'
|
|
|
|
)
|
2023-01-03 15:00:00 +00:00
|
|
|
|
2023-07-25 14:00:00 +00:00
|
|
|
# Whether to have a GtkHeaderBar (instead of the default window titlebar).
|
|
|
|
# 'auto' will choose a value depending on the platform.
|
|
|
|
# 'yes' and 'no' permit to force a certain value (useful for testing purposes).
|
|
|
|
option(
|
|
|
|
'headerbar',
|
|
|
|
type: 'combo',
|
|
|
|
choices: ['yes', 'no', 'auto'],
|
|
|
|
value: 'auto',
|
|
|
|
description: 'Have a GtkHeaderBar'
|
|
|
|
)
|