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/v-libcxx.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/v-libcxx.inc')
0 files changed, 0 insertions, 0 deletions