2018-02-10 13:13:06 +01:00
|
|
|
option('enable-sqlite',
|
|
|
|
|
type: 'boolean',
|
|
|
|
|
value: true,
|
|
|
|
|
description: 'Enable sqlite support if available.'
|
|
|
|
|
)
|
|
|
|
|
option('enable-synctex',
|
|
|
|
|
type: 'boolean',
|
|
|
|
|
value: true,
|
|
|
|
|
description: 'Enable synctex support if available.'
|
|
|
|
|
)
|
|
|
|
|
option('enable-magic',
|
|
|
|
|
type: 'boolean',
|
|
|
|
|
value: true,
|
|
|
|
|
description: 'Enable magic support if available.'
|
|
|
|
|
)
|
2018-03-11 16:17:56 +01:00
|
|
|
option('enable-seccomp',
|
|
|
|
|
type: 'boolean',
|
2018-07-08 12:17:53 +02:00
|
|
|
value: true,
|
2018-03-11 16:25:41 +01:00
|
|
|
description: 'Enable experimental seccomp support if available.'
|
2018-03-11 16:17:56 +01:00
|
|
|
)
|
