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-klee-linux-ubuntu.inc | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 scripts/build/p-klee-linux-ubuntu.inc (limited to 'scripts/build/p-klee-linux-ubuntu.inc') 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 +} -- cgit 1.4.1