diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-01-23 15:25:45 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-13 17:39:21 +0000 |
| commit | dbda156217c532a7e1a65e8c216e593a64c0b8fc (patch) | |
| tree | 015e9b05723106f58c7865f1636ad7157edd41bb /scripts/build/p-llvm-linux-ubuntu-18.04.inc | |
| parent | 64a2b1a93648461f11daa44911d791c28bc00885 (diff) | |
| download | klee-dbda156217c532a7e1a65e8c216e593a64c0b8fc.tar.gz | |
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.
Diffstat (limited to 'scripts/build/p-llvm-linux-ubuntu-18.04.inc')
| -rw-r--r-- | scripts/build/p-llvm-linux-ubuntu-18.04.inc | 49 |
1 files changed, 0 insertions, 49 deletions
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 |