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')
|
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')
|