diff options
| author | DevJPM <jean-pierre.muench@web.de> | 2020-11-07 21:25:42 +0100 |
|---|---|---|
| committer | DevJPM <jean-pierre.muench@web.de> | 2020-11-12 14:39:47 +0100 |
| commit | 63235651e85f9c87b0b43301e6721abbf4f6f89a (patch) | |
| tree | 7c258631b91249aa1dcf9e6b2b97ad19f95cd9c5 | |
| parent | f8a32e9a4efcbbbf79cbaeec9c3f4346e5348d76 (diff) | |
explicitly add llvm-9-dev in dockerfile
apparently llvm-8-tools already had llvm-8-dev as a dependency which was removed in llvm-9-tools, so we need to explicitly pull llvm-9-dev to make a build
| -rw-r--r-- | src/ci/docker/host-x86_64/x86_64-gnu-llvm-9/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu-llvm-9/Dockerfile b/src/ci/docker/host-x86_64/x86_64-gnu-llvm-9/Dockerfile index 36c9238195c..0ab1f727a29 100644 --- a/src/ci/docker/host-x86_64/x86_64-gnu-llvm-9/Dockerfile +++ b/src/ci/docker/host-x86_64/x86_64-gnu-llvm-9/Dockerfile @@ -14,6 +14,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ sudo \ gdb \ llvm-9-tools \ + llvm-9-dev \ libedit-dev \ libssl-dev \ pkg-config \ |