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-z3-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-z3-linux-ubuntu.inc')
| -rw-r--r-- | scripts/build/p-z3-linux-ubuntu.inc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/scripts/build/p-z3-linux-ubuntu.inc b/scripts/build/p-z3-linux-ubuntu.inc new file mode 100644 index 00000000..2a46ac46 --- /dev/null +++ b/scripts/build/p-z3-linux-ubuntu.inc @@ -0,0 +1,15 @@ +# Build dependencies Z3 +install_build_dependencies_z3() { + apt update -y + + dependencies=( + build-essential + python + git + wget + ca-certificates + ) + + #Install essential dependencies + apt -y --no-install-recommends install "${dependencies[@]}" +} \ No newline at end of file |