forked from vscosta/yap
-
Notifications
You must be signed in to change notification settings - Fork 0
/
meson_options.txt
40 lines (30 loc) · 1.52 KB
/
meson_options.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
#extensions
option( 'depth_limit', type : 'boolean', value : true )
option( 'tabling', type : 'boolean', value : true )
option( 'threads', type : 'boolean', value : false )
#engine
option( 'align_longs', type : 'boolean', value : true )
option( 'threaded_code', type : 'boolean', value : true )
option( 'ffieee', type : 'boolean', value : true, description: '[deprecated] supports old machines without IEEE FP support, irrelevant now')
option( 'force_second_quadrant', type : 'boolean', value : false, description: '[deprecated] supports very old HP-UX VM magic')
option( 'gc_no_tags', type : 'boolean', value : true, description: 'use Barts idea of allocating extra memory, required for opaque terms' )
option( 'jit', type : 'boolean', value : false )
option( 'memory-allocator', type : 'combo', choices: ['system', 'dl', 'yap' ], value : 'system' )
option( 'MIN_STACKSPACE', type : 'integer' , value : 0 )
option( 'MIN_HEAPSPACE', type : 'integer' , value : 0 )
option( 'MIN_STACKSPACE', type : 'integer' , value : 0 )
option( 'DEF_STACKSPACE', type : 'integer' , value : 0 )
option( 'DEF_HEAPSPACE', type : 'integer', value : 0 )
option( 'DEF_STACKSPACE', type : 'integer', value : 0 )
#debugging
option( 'low_level_tracer', type : 'boolean', value : true )
option( 'readline',
type: 'feature',
value: 'auto',
description: 'Enable improved interactive interface via readline')
option( 'readline-provider',
type: 'combo',
choices: ['readline', 'editline'],
value: 'readline',
description: 'Provider of the readline library'
)