xref: /qemu/scripts/coverity-scan/coverity-scan.docker (revision 79d51d7317c204dedd220793950a50f46a4e5bd9) 
1 # syntax=docker/dockerfile:1.0.0-experimental
2 #
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.
10 #
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
13 # is updated.
14 
15 # The work of actually doing the build is handled by the
16 # run-coverity-scan script.
17 
18 FROM fedora:30
19 ENV PACKAGES \
20     alsa-lib-devel \
21     bc \
22     brlapi-devel \
23     bzip2 \
24     bzip2-devel \
25     ccache \
26     clang \
27     curl \
28     cyrus-sasl-devel \
29     dbus-daemon \
30     device-mapper-multipath-devel \
31     findutils \
32     gcc \
33     gcc-c++ \
34     gettext \
35     git \
36     glib2-devel \
37     glusterfs-api-devel \
38     gnutls-devel \
39     gtk3-devel \
40     hostname \
41     libaio-devel \
42     libasan \
43     libattr-devel \
44     libblockdev-mpath-devel \
45     libcap-devel \
46     libcap-ng-devel \
47     libcurl-devel \
48     libepoxy-devel \
49     libfdt-devel \
50     libgbm-devel \
51     libiscsi-devel \
52     libjpeg-devel \
53     libpmem-devel \
54     libnfs-devel \
55     libpng-devel \
56     librbd-devel \
57     libseccomp-devel \
58     libssh-devel \
59     libubsan \
60     libudev-devel \
61     libusbx-devel \
62     libzstd-devel \
63     llvm \
64     lzo-devel \
65     make \
66     mingw32-bzip2 \
67     mingw32-curl \
68     mingw32-glib2 \
69     mingw32-gmp \
70     mingw32-gnutls \
71     mingw32-gtk3 \
72     mingw32-libjpeg-turbo \
73     mingw32-libpng \
74     mingw32-libtasn1 \
75     mingw32-nettle \
76     mingw32-nsis \
77     mingw32-pixman \
78     mingw32-pkg-config \
79     mingw32-SDL2 \
80     mingw64-bzip2 \
81     mingw64-curl \
82     mingw64-glib2 \
83     mingw64-gmp \
84     mingw64-gnutls \
85     mingw64-gtk3 \
86     mingw64-libjpeg-turbo \
87     mingw64-libpng \
88     mingw64-libtasn1 \
89     mingw64-nettle \
90     mingw64-pixman \
91     mingw64-pkg-config \
92     mingw64-SDL2 \
93     ncurses-devel \
94     nettle-devel \
95     numactl-devel \
96     perl \
97     perl-Test-Harness \
98     pixman-devel \
99     pulseaudio-libs-devel \
100     python3 \
101     python3-sphinx \
102     PyYAML \
103     rdma-core-devel \
104     SDL2-devel \
105     snappy-devel \
106     sparse \
107     spice-server-devel \
108     systemd-devel \
109     systemtap-sdt-devel \
110     tar \
111     usbredir-devel \
112     virglrenderer-devel \
113     vte291-devel \
114     wget \
115     which \
116     xen-devel \
117     xfsprogs-devel \
118     zlib-devel
119 ENV QEMU_CONFIGURE_OPTS --python=/usr/bin/python3
120 
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
128