diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-02-28 11:56:19 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-10 20:10:32 +0000 |
| commit | cf930214e12b49e89be4674043d9f461d667baae (patch) | |
| tree | 90de5ea1c643d0d7ad2c5cf55e862d309e605d48 /scripts/build/tcmalloc.sh | |
| parent | b4d8fe0301b82e8abff0336bf6d1347dff11a853 (diff) | |
| download | klee-cf930214e12b49e89be4674043d9f461d667baae.tar.gz | |
Updated dependency build system for KLEE
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
Diffstat (limited to 'scripts/build/tcmalloc.sh')
| -rwxr-xr-x | scripts/build/tcmalloc.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/scripts/build/tcmalloc.sh b/scripts/build/tcmalloc.sh deleted file mode 100755 index ea5596d0..00000000 --- a/scripts/build/tcmalloc.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/bash -x -set -ev - -DIR="$(cd "$(dirname "$0")" && pwd)" -source "${DIR}/common-defaults.sh" - -if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then - # Get tcmalloc release - if [[ ! -e "${BASE}/gperftools-${TCMALLOC_VERSION}" ]]; then - cd "${BASE}" - wget "https://github.com/gperftools/gperftools/releases/download/gperftools-${TCMALLOC_VERSION}/gperftools-${TCMALLOC_VERSION}.tar.gz" - tar xfz "gperftools-${TCMALLOC_VERSION}.tar.gz" - fi - cd "${BASE}/gperftools-${TCMALLOC_VERSION}" - ./configure --disable-dependency-tracking --disable-cpu-profiler \ - --disable-heap-checker --disable-debugalloc --enable-minimal \ - --prefix="${BASE}/tcmalloc-install" - make - make install - if [[ "${KEEP_BUILD}x" != "1x" ]]; then - rm -rf "${BASE}/gperftools-${TCMALLOC_VERSION}" - fi - - if [[ "${KEEP_SRC}x" != "1x" ]]; then - rm -f "${BASE}/gperftools-${TCMALLOC_VERSION}.tar.gz" - fi -elif [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then - if [ ${USE_TCMALLOC:-0} -eq 1 ] ; then - echo "Error: Requested to install TCMalloc on macOS, which is not supported" - exit 1 - fi -else - echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\"" - exit 1 -fi |