diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 14:32:59 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 14:32:59 +0000 |
commit | adb934701975f6b0214475d1a8d0d1ce727b9d4d (patch) | |
tree | 5688c745d10b64c8856586864ec416a6bdae881d /meson_options.txt | |
parent | Initial commit. (diff) | |
download | gedit-upstream.tar.xz gedit-upstream.zip |
Adding upstream version 3.38.1.upstream/3.38.1upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'meson_options.txt')
-rw-r--r-- | meson_options.txt | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/meson_options.txt b/meson_options.txt new file mode 100644 index 0000000..4e842d1 --- /dev/null +++ b/meson_options.txt @@ -0,0 +1,24 @@ +option( + 'gtk_doc', + type: 'boolean', value: false, + 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' +) + +# This option exists for the developers, to speed up the install. +option( + 'user_documentation', + type: 'boolean', value: true, + description: 'Build user documentation' +) + +option('plugin_externaltools', type: 'boolean', value: true) |