mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-18 15:51:11 +00:00
validate: meson: Add a way to disable documentation generation
This commit is contained in:
parent
e810eb4f5f
commit
446c619dea
2 changed files with 14 additions and 1 deletions
|
@ -1,3 +1,6 @@
|
|||
option('disable_introspection',
|
||||
type : 'boolean', value : false,
|
||||
description : 'Whether to disable the introspection generation')
|
||||
option('disable_gtkdoc',
|
||||
type : 'boolean', value : false,
|
||||
description : 'Whether to disable the documentation generation')
|
||||
|
|
|
@ -22,7 +22,17 @@ subdir('gst')
|
|||
subdir('gst-libs')
|
||||
subdir('launcher')
|
||||
subdir('tools')
|
||||
subdir('docs')
|
||||
if build_machine.system() == 'windows'
|
||||
message('Disabling gtk-doc while building on Windows')
|
||||
elif get_option('disable_gtkdoc')
|
||||
message('gtk-doc is disabled via options')
|
||||
else
|
||||
if find_program('gtkdoc-scan', required : false).found()
|
||||
subdir('docs')
|
||||
else
|
||||
message('Not building documentation as gtk-doc was not found')
|
||||
endif
|
||||
endif
|
||||
subdir('pkgconfig')
|
||||
subdir('tests')
|
||||
subdir('plugins')
|
||||
|
|
Loading…
Reference in a new issue