diff --git a/tools/Dockerfile.ci b/tools/Dockerfile.ci index c3ababc7c0ca689c53122b8e41af2e350a937eb5..d53cee6b7389434afa07526682d84e2366ec16f5 100644 --- a/tools/Dockerfile.ci +++ b/tools/Dockerfile.ci @@ -26,6 +26,8 @@ RUN yum -y install wget >/dev/null \ && make >/dev/null && make install >/dev/null \ && cd .. \ && rm -rf patchelf-0.10* \ + && yum install -y python3 python3-devel \ + && pip3 install google protobuf setuptools wheel flask \ && yum -y update >/dev/null \ && yum -y install dnf >/dev/null \ && yum -y install dnf-plugins-core >/dev/null \