scripts/build/p-metasmt-linux-ubuntu-16.04.inc


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

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
  )

  #Install essential dependencies
  apt -y --no-install-recommends install "${dependencies[@]}"
}