diff options
| -rw-r--r-- | ciimage/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ciimage/Dockerfile b/ciimage/Dockerfile index 0ed1e01..5503227 100644 --- a/ciimage/Dockerfile +++ b/ciimage/Dockerfile @@ -9,6 +9,7 @@ RUN apt-get -y update && apt-get -y upgrade \ && apt-get -y install llvm libsdl2-dev \ && apt-get -y install python3-pip libxml2-dev libxslt1-dev cmake libyaml-dev \ && apt-get -y install openmpi-bin libopenmpi-dev \ +&& apt-get -y install libboost-log-dev \ && apt-get -y install libvulkan-dev libpcap-dev \ && apt-get -y install gcovr lcov \ && python3 -m pip install hotdoc codecov |