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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
project('bitwuzla',
['c', 'cpp'],
meson_version: '>= 0.64',
version: '0.8.2',
license: 'mit',
default_options: [
'c_std=c17',
'cpp_std=c++17',
'buildtype=release',
'b_ndebug=if-release',
'default_library=static',
'strip=true',
'warning_level=3'
]
)
bitwuzla_lib_soversion = 0
install_rpath = ''
# Build parameters
enable_python = get_option('python')
# Whether external and system libraries should be statically linked
build_static = get_option('default_library') == 'static' \
and get_option('b_sanitize') == 'none' \
and not enable_python
# Configure testing
if get_option('testing').auto()
if get_option('buildtype') == 'release'
enable_testing = false
elif get_option('buildtype') in ['debug', 'debugoptimized']
enable_testing = true
endif
else
enable_testing = get_option('testing').enabled()
endif
if get_option('unit_testing').auto()
enable_unit_testing = enable_testing
else
enable_unit_testing = get_option('unit_testing').enabled()
endif
subdir('src')
if enable_python
subdir('src/api/python')
endif
if enable_testing
if enable_unit_testing
subdir('test/unit')
endif
subdir('test/regress')
if enable_python
subdir('test/python')
endif
endif
if get_option('docs')
subdir('docs')
endif
# Install public headers
install_subdir('include/bitwuzla', install_dir: 'include')
|
