2018-11-27 20:55:16 +01:00
|
|
|
option('synctex',
|
|
|
|
|
type: 'feature',
|
|
|
|
|
value: 'auto',
|
|
|
|
|
description: 'SyncTeX integration'
|
2018-02-10 13:13:06 +01:00
|
|
|
)
|
2018-11-27 20:55:16 +01:00
|
|
|
option('seccomp',
|
|
|
|
|
type: 'feature',
|
|
|
|
|
value: 'auto',
|
|
|
|
|
description: 'seccomp-based sandbox'
|
2018-02-10 13:13:06 +01:00
|
|
|
)
|
2018-11-27 20:55:16 +01:00
|
|
|
option('manpages',
|
|
|
|
|
type: 'feature',
|
|
|
|
|
value: 'auto',
|
|
|
|
|
description: 'manual pages'
|
2018-03-11 16:17:56 +01:00
|
|
|
)
|
2018-11-27 22:42:25 +01:00
|
|
|
option('tests',
|
|
|
|
|
type: 'feature',
|
|
|
|
|
value: 'auto',
|
|
|
|
|
description: 'run tests'
|
|
|
|
|
)
|
2018-12-09 23:25:55 +01:00
|
|
|
option('convert-icon',
|
|
|
|
|
type: 'feature',
|
|
|
|
|
value: 'auto',
|
|
|
|
|
description: 'convert icon to PNG'
|
|
|
|
|
)
|
