option('dogtail', type: 'boolean', value: true, description: 'test using dogtail')
option('installed_tests', type: 'boolean', value: false, description: 'Enable installation of some test cases')
option('manuals', type: 'boolean', value: false, description: 'Enable manual pages')
