2017-03-21 12:08:47 +01:00
|
|
|
option('with-docs', type : 'combo', choices : ['auto', 'yes', 'no'], value : 'auto')
|
|
|
|
option('with-man', type : 'combo', choices : ['auto', 'yes', 'no'], value : 'auto')
|
2017-07-21 15:03:05 +02:00
|
|
|
option('with-pcre', type : 'combo', choices : ['system', 'internal'], value : 'system')
|
2016-12-21 02:04:47 +01:00
|
|
|
option('enable-libmount', type : 'combo', choices : ['auto', 'yes', 'no'], value : 'yes')
|
2017-01-25 18:02:51 +01:00
|
|
|
option('enable-dtrace', type : 'boolean', value : false,
|
|
|
|
description : 'include tracing support for dtrace')
|
|
|
|
option('enable-systemtap', type : 'boolean', value : false,
|
|
|
|
description : 'include tracing support for systemtap')
|
|
|
|
option('tapset-install-dir', type : 'string', value : '',
|
|
|
|
description : 'path where systemtap tapsets are installed')
|