1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
option('tests', type: 'boolean', value: true)
option('dev', type: 'boolean', value: false)
option('samples', type: 'boolean', value: true)
option('cxx-support', type: 'feature', value: 'auto')
option('i18n', type: 'feature', value: 'auto')
option('theories', type: 'feature', value: 'enabled')
option('diffs', type: 'feature', value: 'enabled')
# Platform-specific workarounds
option('mingw-define-off_t', type: 'boolean', value: false)
option('rpath-in-pkgconfig', type: 'feature', value: 'auto',
description: 'Sets RPATH for users in the Criterion pkg-config file')
|