1 # syntax=docker/dockerfile:1.0.0-experimental
3 # Docker setup for running the "Coverity Scan" tools over the source
4 # tree and uploading them to the website, as per
5 # https://scan.coverity.com/projects/qemu/builds/new
6 # We do this on a fixed config (currently Fedora 30 with a known
7 # set of dependencies and a configure command that enables a specific
8 # set of options) so that random changes don't result in our accidentally
9 # dropping some files from the scan.
11 # We don't build on top of the fedora.docker file because we don't
12 # want to accidentally change or break the scan config when that
15 # The work of actually doing the build is handled by the
16 # run-coverity-scan script.
30 device-mapper-multipath-devel \
44 libblockdev-mpath-devel \
72 mingw32-libjpeg-turbo \
86 mingw64-libjpeg-turbo \
99 pulseaudio-libs-devel \
109 systemtap-sdt-devel \
112 virglrenderer-devel \
119 ENV QEMU_CONFIGURE_OPTS --python=/usr/bin/python3
121 RUN dnf install -y $PACKAGES
122 RUN rpm -q $PACKAGES | sort > /packages.txt
123 ENV PATH $PATH:/usr/libexec/python3-sphinx/
124 ENV COVERITY_TOOL_BASE=/coverity-tools
125 COPY coverity_tool.tgz coverity_tool.tgz
126 RUN mkdir -p /coverity-tools/coverity_tool && cd /coverity-tools/coverity_tool && tar xf /coverity_tool.tgz
127 COPY run-coverity-scan run-coverity-scan