mirrors/pulseaudio
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git synced 2025-12-15 08:56:34 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

meson: Make man page build and install conditional

Browse source 
Signed-off-by: Arnaud Rebillout <arnaud.rebillout@collabora.com>
This commit is contained in:
Arnaud Rebillout 2018-11-05 12:03:03 +07:00 • committed by Arun Raghavan
parent 8d241d62c5
commit 6826c60da5
3 changed files with 11 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

5
meson.build
View file

@ -434,7 +434,9 @@ check_dep = dependency('check', version : '>= 0.9.10', required : get_option('te
# Now generate config.h from everything above
configure_file(output : 'config.h', configuration : cdata)
subdir('man')
if get_option('man')
subdir('man')
endif
subdir('shell-completion/bash')
subdir('shell-completion/zsh')
subdir('src')
@ -500,6 +502,7 @@ summary = [
'Enable SoXR (resampler): @0@'.format(soxr_dep.found()),
'Enable WebRTC echo canceller: @0@'.format(webrtc_dep.found()),
# 'Enable gcov coverage: @0@'.format(${ENABLE_GCOV}),
'Enable man pages: @0@'.format(get_option('man')),
'Enable unit tests: @0@'.format(get_option('tests')),
'',
'Database: @0@'.format(get_option('database')),