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-gtest-linux-ubuntu.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-gtest-linux-ubuntu.inc')
| -rw-r--r-- | scripts/build/p-gtest-linux-ubuntu.inc | 12 |
1 files changed, 12 insertions, 0 deletions
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 |