option('datarootdir', type: 'string', value: '${prefix}/share',
    description: 'read-only arch.-independent data root')
