mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-11-27 07:00:01 -05:00
parent
fccb4bd29d
commit
7b8afb3024
107 changed files with 51641 additions and 35 deletions
|
|
@ -1,9 +1,12 @@
|
|||
option('daemon',
|
||||
type : 'boolean', value : true,
|
||||
description : 'Enable building and installation of pulseaudio daemon and supporting configuration files')
|
||||
<<<<<<< HEAD
|
||||
=======
|
||||
option('client',
|
||||
type : 'boolean', value : true,
|
||||
description : 'Build and install pulseaudio client libraries and utilities')
|
||||
>>>>>>> c1990dd02647405b0c13aab59f75d05cbb202336
|
||||
option('doxygen',
|
||||
type : 'boolean', value : true,
|
||||
description : 'Enable building and installation of documentation generated with doxygen')
|
||||
|
|
@ -118,7 +121,7 @@ option('gsettings',
|
|||
type : 'feature', value : 'auto',
|
||||
description : 'Optional GSettings support')
|
||||
option('gstreamer',
|
||||
type : 'feature', value : 'auto',
|
||||
type : 'feature', value : 'disabled',
|
||||
description : 'Optional GStreamer dependency for media-related functionality')
|
||||
option('gtk',
|
||||
type : 'feature', value : 'auto',
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue