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 \
73 mingw32-libjpeg-turbo \
87 mingw64-libjpeg-turbo \
101 pulseaudio-libs-devel \
111 systemtap-sdt-devel \
114 virglrenderer-devel \
121 ENV QEMU_CONFIGURE_OPTS --python=/usr/bin/python3
123 RUN dnf install -y $PACKAGES
124 RUN rpm -q $PACKAGES | sort > /packages.txt
125 ENV PATH $PATH:/usr/libexec/python3-sphinx/
126 ENV COVERITY_TOOL_BASE=/coverity-tools
127 COPY coverity_tool.tgz coverity_tool.tgz
128 RUN mkdir -p /coverity-tools/coverity_tool && cd /coverity-tools/coverity_tool && tar xf /coverity_tool.tgz
129 COPY run-coverity-scan run-coverity-scan