blob: 583f869adf6a5b390ffd4b39f8f2f283a2a7bbe8 (
plain) (
blame)
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
|
setup_build_variables_metasmt() {
return 0
}
install_build_dependencies_metasmt() {
apt update -y
dependencies=(
# libgmp, gperf (required by yices2)
gperf
libgmp-dev
build-essential
git
wget
ca-certificates
cmake
zlib1g-dev
bison
flex
unzip
python
autoconf
python3
)
#Install essential dependencies
apt -y --no-install-recommends install "${dependencies[@]}"
}
|