From 63235651e85f9c87b0b43301e6721abbf4f6f89a Mon Sep 17 00:00:00 2001
From: DevJPM <jean-pierre.muench@web.de>
Date: Sat, 7 Nov 2020 21:25:42 +0100
Subject: [PATCH] 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
---
 src/ci/docker/host-x86_64/x86_64-gnu-llvm-9/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

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 \