From dbda156217c532a7e1a65e8c216e593a64c0b8fc Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 23 Jan 2020 15:25:45 +0000 Subject: Update ubuntu build dependencies for KLEE Build dependencies for different components were tied to a specific Ubuntu version (16.04). Although, they are the same for newer versions as well. By renaming `p-component-linux-ubuntu-16.04.inc` to `p-component-linux-ubuntu.inc`, the script can be used for newer Ubuntu versions as well. Do some minor cleaning up. --- scripts/build/p-clang-linux-ubuntu-16.04.inc | 37 --------- scripts/build/p-clang-linux-ubuntu.inc | 44 +++++++++++ scripts/build/p-gtest-linux-ubuntu-16.04.inc | 12 --- scripts/build/p-gtest-linux-ubuntu.inc | 12 +++ scripts/build/p-klee-linux-ubuntu-16.04.inc | 25 ------ scripts/build/p-klee-linux-ubuntu.inc | 25 ++++++ scripts/build/p-libcxx-linux-ubuntu.inc | 18 +++++ scripts/build/p-llvm-linux-ubuntu-16.04.inc | 93 ---------------------- scripts/build/p-llvm-linux-ubuntu-18.04.inc | 49 ------------ scripts/build/p-llvm-linux-ubuntu.inc | 100 ++++++++++++++++++++++++ scripts/build/p-metasmt-linux-ubuntu-16.04.inc | 29 ------- scripts/build/p-metasmt-linux-ubuntu.inc | 31 ++++++++ scripts/build/p-sqlite-linux-ubuntu-16.04.inc | 35 --------- scripts/build/p-sqlite-linux-ubuntu.inc | 31 ++++++++ scripts/build/p-stp-linux-ubuntu-16.04.inc | 19 ----- scripts/build/p-stp-linux-ubuntu.inc | 19 +++++ scripts/build/p-tcmalloc-linux-ubuntu-16.04.inc | 13 --- scripts/build/p-tcmalloc-linux-ubuntu.inc | 13 +++ scripts/build/p-uclibc-linux-ubuntu-16.04.inc | 17 ---- scripts/build/p-uclibc-linux-ubuntu.inc | 17 ++++ scripts/build/p-z3-linux-ubuntu-16.04.inc | 16 ---- scripts/build/p-z3-linux-ubuntu.inc | 15 ++++ 22 files changed, 325 insertions(+), 345 deletions(-) delete mode 100644 scripts/build/p-clang-linux-ubuntu-16.04.inc create mode 100644 scripts/build/p-clang-linux-ubuntu.inc delete mode 100644 scripts/build/p-gtest-linux-ubuntu-16.04.inc create mode 100644 scripts/build/p-gtest-linux-ubuntu.inc delete mode 100644 scripts/build/p-klee-linux-ubuntu-16.04.inc create mode 100644 scripts/build/p-klee-linux-ubuntu.inc create mode 100644 scripts/build/p-libcxx-linux-ubuntu.inc delete mode 100644 scripts/build/p-llvm-linux-ubuntu-16.04.inc delete mode 100644 scripts/build/p-llvm-linux-ubuntu-18.04.inc create mode 100644 scripts/build/p-llvm-linux-ubuntu.inc delete mode 100644 scripts/build/p-metasmt-linux-ubuntu-16.04.inc create mode 100644 scripts/build/p-metasmt-linux-ubuntu.inc delete mode 100644 scripts/build/p-sqlite-linux-ubuntu-16.04.inc create mode 100644 scripts/build/p-sqlite-linux-ubuntu.inc delete mode 100644 scripts/build/p-stp-linux-ubuntu-16.04.inc create mode 100644 scripts/build/p-stp-linux-ubuntu.inc delete mode 100644 scripts/build/p-tcmalloc-linux-ubuntu-16.04.inc create mode 100644 scripts/build/p-tcmalloc-linux-ubuntu.inc delete mode 100644 scripts/build/p-uclibc-linux-ubuntu-16.04.inc create mode 100644 scripts/build/p-uclibc-linux-ubuntu.inc delete mode 100644 scripts/build/p-z3-linux-ubuntu-16.04.inc create mode 100644 scripts/build/p-z3-linux-ubuntu.inc (limited to 'scripts') diff --git a/scripts/build/p-clang-linux-ubuntu-16.04.inc b/scripts/build/p-clang-linux-ubuntu-16.04.inc deleted file mode 100644 index 0fb30e52..00000000 --- a/scripts/build/p-clang-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,37 +0,0 @@ -install_binary_artifact_clang() { - local LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}" - local LLVM_VERSION_MINOR="${LLVM_VERSION/*./}" - - local version="" - [[ "${LLVM_VERSION_MAJOR}" -le 6 ]] && version="-${LLVM_VERSION}" - [[ "${LLVM_VERSION_MAJOR}" -ge 7 ]] && version="-${LLVM_VERSION_MAJOR}" - - # apt.llvm packages for Trusty clang 5.0 package is broken with atomics. Don't use it. - if [[ "${LLVM_VERSION_MAJOR}" -gt 6 ]]; then - # Add certificate - apt update -y - dependencies=( - ca-certificates - wget - ) - - apt -y --no-install-recommends install "${dependencies[@]}" - wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key| apt-key add - - - # Add repository - echo "deb http://apt.llvm.org/xenial/ llvm-toolchain-xenial${version} main" >> /etc/apt/sources.list - fi - - apt update -y - dependencies=( - "llvm${version}" - "clang${version}" - ) - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} - -get_docker_config_id_clang() { - return 0 -} diff --git a/scripts/build/p-clang-linux-ubuntu.inc b/scripts/build/p-clang-linux-ubuntu.inc new file mode 100644 index 00000000..b3159d3c --- /dev/null +++ b/scripts/build/p-clang-linux-ubuntu.inc @@ -0,0 +1,44 @@ +install_binary_artifact_clang() { + local LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}" + local LLVM_VERSION_MINOR="${LLVM_VERSION/*./}" + + local version="" + [[ "${LLVM_VERSION_MAJOR}" -le 6 ]] && version="-${LLVM_VERSION}" + [[ "${LLVM_VERSION_MAJOR}" -ge 7 ]] && version="-${LLVM_VERSION_MAJOR}" + + # apt.llvm packages for Trusty clang 5.0 package is broken with atomics. Don't use it. + if [[ "${LLVM_VERSION_MAJOR}" -gt 6 ]]; then + # Add certificate + apt update -y + dependencies=( + ca-certificates + wget + lsb-release + gnupg + ) + + apt -y --no-install-recommends install "${dependencies[@]}" + wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key| apt-key add - + + # Add repository + codename="$(lsb_release --codename --short)" + apt_entry="deb http://apt.llvm.org/${codename}/ llvm-toolchain-${codename}${version} main" + if [[ ! $(grep -q "${apt_entry}") ]]; then + echo "${apt_entry}" >> /etc/apt/sources.list + apt update -y + fi + fi + + apt update -y + dependencies=( + "llvm${version}" + "clang${version}" + ) + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" || return 1 +} + +get_docker_config_id_clang() { + return 0 +} diff --git a/scripts/build/p-gtest-linux-ubuntu-16.04.inc b/scripts/build/p-gtest-linux-ubuntu-16.04.inc deleted file mode 100644 index f636d321..00000000 --- a/scripts/build/p-gtest-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,12 +0,0 @@ -install_build_dependencies_gtest() { - apt update -y - - dependencies=( - ca-certificates - wget - unzip - ) - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} \ No newline at end of file diff --git a/scripts/build/p-gtest-linux-ubuntu.inc b/scripts/build/p-gtest-linux-ubuntu.inc new file mode 100644 index 00000000..f636d321 --- /dev/null +++ b/scripts/build/p-gtest-linux-ubuntu.inc @@ -0,0 +1,12 @@ +install_build_dependencies_gtest() { + apt update -y + + dependencies=( + ca-certificates + wget + unzip + ) + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" +} \ No newline at end of file diff --git a/scripts/build/p-klee-linux-ubuntu-16.04.inc b/scripts/build/p-klee-linux-ubuntu-16.04.inc deleted file mode 100644 index 9109a27f..00000000 --- a/scripts/build/p-klee-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,25 +0,0 @@ -install_build_dependencies_klee() { - apt update -y - - dependencies=( - build-essential - cmake - python-pip #for lit - python-setuptools #for lit - python-wheel #for lit - zlib1g-dev - python3 - python3-setuptools - python3-pip - python3-wheel - ) - - if [[ $(to_bool "${COVERAGE}") -eq 1 ]]; then - dependencies+=(lcov curl) - fi - - apt -y --no-install-recommends install "${dependencies[@]}" - - pip install lit - pip3 install tabulate -} diff --git a/scripts/build/p-klee-linux-ubuntu.inc b/scripts/build/p-klee-linux-ubuntu.inc new file mode 100644 index 00000000..a19e6a3b --- /dev/null +++ b/scripts/build/p-klee-linux-ubuntu.inc @@ -0,0 +1,25 @@ +install_build_dependencies_klee() { + apt update -y + + dependencies=( + build-essential + cmake + python-pip #for lit + python-setuptools #for lit + python-wheel #for lit + zlib1g-dev + python3 + python3-setuptools + python3-pip + python3-wheel + ) + + if [[ $(to_bool "${COVERAGE}") -eq 1 ]]; then + dependencies+=(lcov curl) + fi + + apt -y --no-install-recommends install "${dependencies[@]}" + + pip3 install lit + pip3 install tabulate +} diff --git a/scripts/build/p-libcxx-linux-ubuntu.inc b/scripts/build/p-libcxx-linux-ubuntu.inc new file mode 100644 index 00000000..8fefd83e --- /dev/null +++ b/scripts/build/p-libcxx-linux-ubuntu.inc @@ -0,0 +1,18 @@ +install_build_dependencies_libcxx() { + apt-get update -y + + dependencies=( + build-essential + ca-certificates + git + python3 + python3-pip + cmake + curl + file # Needed for wllvm + ) + + apt -y --no-install-recommends install "${dependencies[@]}" + + pip3 install wllvm +} \ No newline at end of file diff --git a/scripts/build/p-llvm-linux-ubuntu-16.04.inc b/scripts/build/p-llvm-linux-ubuntu-16.04.inc deleted file mode 100644 index bab32d45..00000000 --- a/scripts/build/p-llvm-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,93 +0,0 @@ -# Build dependencies -install_build_dependencies_llvm() { - apt update -y - - dependencies=( - build-essential - autoconf - automake - groff - gcc - g++ - python-dev - make - subversion # To check out code - zlib1g-dev - cmake - ) - - if [[ "${SANITIZERS[*]}" == "memory" ]]; then - dependencies+=(ninja-build) - fi - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} - -install_binary_artifact_llvm() { - local enable_optimized=$(to_bool "${ENABLE_OPTIMIZED}") - local enable_debug=$(to_bool "${ENABLE_DEBUG}") - local disable_assertions=$(to_bool "${DISABLE_ASSERTIONS}") - local requires_rtti=$(to_bool "${REQUIRES_RTTI}") - local LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}" - local LLVM_VERSION_MINOR="${LLVM_VERSION/*./}" - - - # No support for LLVM packages with debug information, incompatible if requested otherwise - [[ "${enable_debug}" -eq 1 ]] && return 1 - - # Packages are build with assertions disabled, incompatible if requested otherwise - [[ "${disable_assertions}" -eq 0 ]] && return 1 - - # Packages are build with RTTI enabled, incompatible if requested otherwise - [[ "${requires_rtti}" -eq 0 ]] && return 1 - - # Enable/Disable optimized does not matter - - # Add certificate - apt update -y - dependencies=( - ca-certificates - wget - ) - apt -y --no-install-recommends install "${dependencies[@]}" - wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key| apt-key add - - - local version="" - [[ "${LLVM_VERSION_MAJOR}" -le 6 ]] && version="-${LLVM_VERSION}" - [[ "${LLVM_VERSION_MAJOR}" -ge 7 ]] && version="-${LLVM_VERSION_MAJOR}" - - # Add repository - echo "deb http://apt.llvm.org/xenial/ llvm-toolchain-xenial${version} main" >> /etc/apt/sources.list - apt update -y - - dependencies=( - "llvm${version}" - "llvm${version}-dev" - "llvm${version}-runtime" - "clang${version}" - ) - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} - -# Check if the binary artifact is installed -is_installed_llvm() { - local lc="" - # Check if llvm-config with the right version exists - lc=$(which "llvm-config-${LLVM_VERSION}") - - [[ -z "${lc}" ]] && return 1 - - local rtti - rtti="$(${lc} --has-rtti)" - local assertion - assertion="$(${lc} --assertion-mode)" - local build_mode - build_mode="$(${lc} --build-mode)" - - # Check requested mode with mode of the found item - [[ $(to_bool "${REQUIRES_RTTI}") -eq $(to_bool "${rtti}") ]] || return 1 - [[ $(to_bool "${DISABLE_ASSERTIONS}") -ne $(to_bool "${assertion}") ]] || return 1 -} diff --git a/scripts/build/p-llvm-linux-ubuntu-18.04.inc b/scripts/build/p-llvm-linux-ubuntu-18.04.inc deleted file mode 100644 index f83112db..00000000 --- a/scripts/build/p-llvm-linux-ubuntu-18.04.inc +++ /dev/null @@ -1,49 +0,0 @@ -install_build_dependencies_llvm() { - apt update -y - - dependencies=( - build-essential - - autoconf - automake - groff - gcc - g++ - python-dev - make - subversion # Check out code - zlib1g-dev - ) - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} - -install_binary_artifact_llvm() { - apt update -y - - dependencies=( - "clang-${LLVM_VERSION}" - ) - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} - -# Check if the binary artifact is installed -is_installed_llvm() { - local lc="" - # Check if llvm-config with the right version exists - lc=$(which "llvm-config-${LLVM_VERSION}") - - local rtti - rtti="$(${lc} --has-rtti)" - local assertion - assertion="$(${lc} --assertion-mode)" - local build_mode - build_mode="$(${lc} --build-mode)" - - # Check requested mode with mode of the found item - [[ $(to_bool "${REQUIRES_RTTI}") -eq $(to_bool "${rtti}") ]] || return 1 - [[ $(to_bool "${DISABLE_ASSERTIONS}") -ne $(to_bool "${assertion}") ]] || return 1 -} \ No newline at end of file diff --git a/scripts/build/p-llvm-linux-ubuntu.inc b/scripts/build/p-llvm-linux-ubuntu.inc new file mode 100644 index 00000000..98fe9abe --- /dev/null +++ b/scripts/build/p-llvm-linux-ubuntu.inc @@ -0,0 +1,100 @@ +# Build dependencies +install_build_dependencies_llvm() { + apt update -y + + dependencies=( + ca-certificates + build-essential + autoconf + automake + groff + gcc + g++ + python-dev + make + git # To check out code + zlib1g-dev + cmake + ) + + if [[ "${SANITIZERS[*]}" == "memory" ]]; then + dependencies+=(ninja-build) + fi + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" +} + +install_binary_artifact_llvm() { + local enable_optimized=$(to_bool "${ENABLE_OPTIMIZED}") + local enable_debug=$(to_bool "${ENABLE_DEBUG}") + local disable_assertions=$(to_bool "${DISABLE_ASSERTIONS}") + local requires_rtti=$(to_bool "${REQUIRES_RTTI}") + local LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}" + local LLVM_VERSION_MINOR="${LLVM_VERSION/*./}" + + + # No support for LLVM packages with debug information, incompatible if requested otherwise + [[ "${enable_debug}" -eq 1 ]] && return 1 + + # Packages are build with assertions disabled, incompatible if requested otherwise + [[ "${disable_assertions}" -eq 0 ]] && return 1 + + # Packages are build with RTTI enabled, incompatible if requested otherwise + [[ "${requires_rtti}" -eq 0 ]] && return 1 + + # Enable/Disable optimized does not matter + + # Add certificate + apt update -y + dependencies=( + ca-certificates + wget + lsb-release + gnupg + ) + apt -y --no-install-recommends install "${dependencies[@]}" + wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key| apt-key add - + + local version="" + [[ "${LLVM_VERSION_MAJOR}" -le 6 ]] && version="-${LLVM_VERSION}" + [[ "${LLVM_VERSION_MAJOR}" -ge 7 ]] && version="-${LLVM_VERSION_MAJOR}" + + # Add repository + codename="$(lsb_release --codename --short)" + apt_entry="deb http://apt.llvm.org/${codename}/ llvm-toolchain-${codename}${version} main" + if [[ ! $(grep -q "${apt_entry}") ]]; then + echo "${apt_entry}" >> /etc/apt/sources.list + apt update -y + fi + + dependencies=( + "llvm${version}" + "llvm${version}-dev" + "llvm${version}-runtime" + "clang${version}" + ) + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" || return 1 +} + +# Check if the binary artifact is installed +is_installed_llvm() { + local lc="" + # Check if llvm-config with the right version exists + lc=$(which "llvm-config-${LLVM_VERSION}") + + [[ -z "${lc}" ]] && return 1 + + local rtti + rtti="$(${lc} --has-rtti)" + local assertion + assertion="$(${lc} --assertion-mode)" + local build_mode + build_mode="$(${lc} --build-mode)" + + # Check requested mode with mode of the found item + [[ $(to_bool "${REQUIRES_RTTI}") -eq $(to_bool "${rtti}") ]] || return 1 + [[ $(to_bool "${DISABLE_ASSERTIONS}") -ne $(to_bool "${assertion}") ]] || return 1 +} diff --git a/scripts/build/p-metasmt-linux-ubuntu-16.04.inc b/scripts/build/p-metasmt-linux-ubuntu-16.04.inc deleted file mode 100644 index 583f869a..00000000 --- a/scripts/build/p-metasmt-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,29 +0,0 @@ -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[@]}" -} \ No newline at end of file diff --git a/scripts/build/p-metasmt-linux-ubuntu.inc b/scripts/build/p-metasmt-linux-ubuntu.inc new file mode 100644 index 00000000..1e381b78 --- /dev/null +++ b/scripts/build/p-metasmt-linux-ubuntu.inc @@ -0,0 +1,31 @@ +setup_build_variables_metasmt() { + return 0 +} + +install_build_dependencies_metasmt() { + apt update -y + + dependencies=( + # libgmp, gperf (required by yices2) + gperf + libgmp-dev + libbz2-dev + libboost-dev + build-essential + git + wget + ca-certificates + cmake + zlib1g-dev + bison + flex + unzip + python + autoconf + python3 + curl + ) + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" +} \ No newline at end of file diff --git a/scripts/build/p-sqlite-linux-ubuntu-16.04.inc b/scripts/build/p-sqlite-linux-ubuntu-16.04.inc deleted file mode 100644 index ee5531a2..00000000 --- a/scripts/build/p-sqlite-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,35 +0,0 @@ -install_build_dependencies_sqlite() { - apt update -y - - dependencies=( - build-essential - unzip - git - wget - ) - - apt -y --no-install-recommends install "${dependencies[@]}" -} -install_binary_artifact_sqlite() { - - if [[ "${SANITIZER_SUFFIX}x" != "x" ]]; then - return 1 - fi - apt update -y - - dependencies=( - libsqlite3-dev - ) - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} - -# Check if the binary artifact is installed -is_installed_sqlite() { - [[ -f /usr/lib/x86_64-linux-gnu/libsqlite3.so ]] || return 1 -} - -get_docker_config_id_sqlite() { - return 0 -} diff --git a/scripts/build/p-sqlite-linux-ubuntu.inc b/scripts/build/p-sqlite-linux-ubuntu.inc new file mode 100644 index 00000000..158ea41c --- /dev/null +++ b/scripts/build/p-sqlite-linux-ubuntu.inc @@ -0,0 +1,31 @@ +install_build_dependencies_sqlite() { + apt update -y + + dependencies=( + build-essential + unzip + git + wget + ) + + apt -y --no-install-recommends install "${dependencies[@]}" +} +install_binary_artifact_sqlite() { + [[ "${SANITIZER_SUFFIX}x" == "x" ]] || return 1 + + apt update -y + dependencies=( + libsqlite3-dev + ) + apt -y --no-install-recommends install "${dependencies[@]}" +} + +# Check if the binary artifact is installed +is_installed_sqlite() { + [[ -f /usr/lib/x86_64-linux-gnu/libsqlite3.so ]] || return 1 + return 0 +} + +get_docker_config_id_sqlite() { + return 0 +} diff --git a/scripts/build/p-stp-linux-ubuntu-16.04.inc b/scripts/build/p-stp-linux-ubuntu-16.04.inc deleted file mode 100644 index f4030023..00000000 --- a/scripts/build/p-stp-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/bash -# Build dependencies -install_build_dependencies_stp() { - apt update -y - - dependencies=( - build-essential - - bison - ca-certificates - cmake - flex - git - zlib1g-dev - ) - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} \ No newline at end of file diff --git a/scripts/build/p-stp-linux-ubuntu.inc b/scripts/build/p-stp-linux-ubuntu.inc new file mode 100644 index 00000000..f4030023 --- /dev/null +++ b/scripts/build/p-stp-linux-ubuntu.inc @@ -0,0 +1,19 @@ +#!/bin/bash +# Build dependencies +install_build_dependencies_stp() { + apt update -y + + dependencies=( + build-essential + + bison + ca-certificates + cmake + flex + git + zlib1g-dev + ) + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" +} \ No newline at end of file diff --git a/scripts/build/p-tcmalloc-linux-ubuntu-16.04.inc b/scripts/build/p-tcmalloc-linux-ubuntu-16.04.inc deleted file mode 100644 index 26bf2da9..00000000 --- a/scripts/build/p-tcmalloc-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,13 +0,0 @@ -install_build_dependencies_tcmalloc() { - apt update -y - - dependencies=( - build-essential - ca-certificates - cmake - git - wget - ) - - apt -y --no-install-recommends install "${dependencies[@]}" -} \ No newline at end of file diff --git a/scripts/build/p-tcmalloc-linux-ubuntu.inc b/scripts/build/p-tcmalloc-linux-ubuntu.inc new file mode 100644 index 00000000..26bf2da9 --- /dev/null +++ b/scripts/build/p-tcmalloc-linux-ubuntu.inc @@ -0,0 +1,13 @@ +install_build_dependencies_tcmalloc() { + apt update -y + + dependencies=( + build-essential + ca-certificates + cmake + git + wget + ) + + apt -y --no-install-recommends install "${dependencies[@]}" +} \ No newline at end of file diff --git a/scripts/build/p-uclibc-linux-ubuntu-16.04.inc b/scripts/build/p-uclibc-linux-ubuntu-16.04.inc deleted file mode 100644 index 36bdce58..00000000 --- a/scripts/build/p-uclibc-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash -# Build dependencies -install_build_dependencies_uclibc() { - apt update -y - - dependencies=( - build-essential - ca-certificates - git - python - libncurses5-dev - wget - ) - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} \ No newline at end of file diff --git a/scripts/build/p-uclibc-linux-ubuntu.inc b/scripts/build/p-uclibc-linux-ubuntu.inc new file mode 100644 index 00000000..36bdce58 --- /dev/null +++ b/scripts/build/p-uclibc-linux-ubuntu.inc @@ -0,0 +1,17 @@ +#!/bin/bash +# Build dependencies +install_build_dependencies_uclibc() { + apt update -y + + dependencies=( + build-essential + ca-certificates + git + python + libncurses5-dev + wget + ) + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" +} \ No newline at end of file diff --git a/scripts/build/p-z3-linux-ubuntu-16.04.inc b/scripts/build/p-z3-linux-ubuntu-16.04.inc deleted file mode 100644 index 2f5e4086..00000000 --- a/scripts/build/p-z3-linux-ubuntu-16.04.inc +++ /dev/null @@ -1,16 +0,0 @@ -# Build dependencies Z3 -install_build_dependencies_z3() { - apt update -y - - dependencies=( - build-essential - - python - git - wget - ca-certificates - ) - - #Install essential dependencies - apt -y --no-install-recommends install "${dependencies[@]}" -} \ No newline at end of file diff --git a/scripts/build/p-z3-linux-ubuntu.inc b/scripts/build/p-z3-linux-ubuntu.inc new file mode 100644 index 00000000..2a46ac46 --- /dev/null +++ b/scripts/build/p-z3-linux-ubuntu.inc @@ -0,0 +1,15 @@ +# Build dependencies Z3 +install_build_dependencies_z3() { + apt update -y + + dependencies=( + build-essential + python + git + wget + ca-certificates + ) + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" +} \ No newline at end of file -- cgit 1.4.1