diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-09 18:28:20 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-11 11:38:20 +0100 |
| commit | 1b07577005478f26a106d8636e5b3c4aabf7e8d6 (patch) | |
| tree | 1b23fbf385a0060c4a4449f1a3c192543b43d75a /scripts/build | |
| parent | ca346f2c1a08b79a0a2663daa0476e03139091c6 (diff) | |
| download | klee-1b07577005478f26a106d8636e5b3c4aabf7e8d6.tar.gz | |
Add missing curl
Diffstat (limited to 'scripts/build')
| -rwxr-xr-x | scripts/build/dependencies-ubuntu.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build/dependencies-ubuntu.sh b/scripts/build/dependencies-ubuntu.sh index 065893cd..52e161fd 100755 --- a/scripts/build/dependencies-ubuntu.sh +++ b/scripts/build/dependencies-ubuntu.sh @@ -19,6 +19,7 @@ apt -y --no-install-recommends install \ binutils \ bison \ cmake \ + curl \ flex \ git \ groff-base \ |