2019-05-12 19:53:14 +02:00
|
|
|
option('libcxx', type : 'boolean', value : false, description : 'Build with Clang\'s libc++ instead of libstdc++ on Linux.')
|
2018-10-21 11:58:35 +02:00
|
|
|
option('libnl', type: 'feature', value: 'auto', description: 'Enable libnl support for network related features')
|
2019-02-19 05:11:18 +01:00
|
|
|
option('libudev', type: 'feature', value: 'auto', description: 'Enable libudev support for udev related features')
|
2018-10-21 11:58:35 +02:00
|
|
|
option('pulseaudio', type: 'feature', value: 'auto', description: 'Enable support for pulseaudio')
|
2019-09-07 19:57:35 +02:00
|
|
|
option('systemd', type: 'feature', value: 'auto', description: 'Install systemd user service unit')
|
2018-10-27 08:20:18 +02:00
|
|
|
option('dbusmenu-gtk', type: 'feature', value: 'auto', description: 'Enable support for tray')
|
2019-08-29 12:25:04 +02:00
|
|
|
option('man-pages', type: 'feature', value: 'auto', description: 'Generate and install man pages')
|
2019-04-16 16:34:37 +02:00
|
|
|
option('mpd', type: 'feature', value: 'auto', description: 'Enable support for the Music Player Daemon')
|
2018-10-27 08:20:18 +02:00
|
|
|
option('out', type: 'string', value : '/', description: 'output prefix directory')
|
2019-12-28 12:13:33 +01:00
|
|
|
option('gtk-layer-shell', type: 'feature', value: 'auto', description: 'Use gtk-layer-shell library for popups support')
|