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