virtio-mmio: improve virtio-mmio get_dev_path alog
[qemu/ar7.git] / scripts / coverity-scan / coverity-scan.docker
blob501ac6723323e5bafcd09189fb141040bce0cefa
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
13 # is updated.
15 # The work of actually doing the build is handled by the
16 # run-coverity-scan script.
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     libxml2-devel \
63     libzstd-devel \
64     llvm \
65     lzo-devel \
66     make \
67     mingw32-bzip2 \
68     mingw32-curl \
69     mingw32-glib2 \
70     mingw32-gmp \
71     mingw32-gnutls \
72     mingw32-gtk3 \
73     mingw32-libjpeg-turbo \
74     mingw32-libpng \
75     mingw32-libtasn1 \
76     mingw32-nettle \
77     mingw32-nsis \
78     mingw32-pixman \
79     mingw32-pkg-config \
80     mingw32-SDL2 \
81     mingw64-bzip2 \
82     mingw64-curl \
83     mingw64-glib2 \
84     mingw64-gmp \
85     mingw64-gnutls \
86     mingw64-gtk3 \
87     mingw64-libjpeg-turbo \
88     mingw64-libpng \
89     mingw64-libtasn1 \
90     mingw64-nettle \
91     mingw64-pixman \
92     mingw64-pkg-config \
93     mingw64-SDL2 \
94     ncurses-devel \
95     nettle-devel \
96     nss-devel \
97     numactl-devel \
98     perl \
99     perl-Test-Harness \
100     pixman-devel \
101     pulseaudio-libs-devel \
102     python3 \
103     python3-sphinx \
104     PyYAML \
105     rdma-core-devel \
106     SDL2-devel \
107     snappy-devel \
108     sparse \
109     spice-server-devel \
110     systemd-devel \
111     systemtap-sdt-devel \
112     tar \
113     usbredir-devel \
114     virglrenderer-devel \
115     vte291-devel \
116     wget \
117     which \
118     xen-devel \
119     xfsprogs-devel \
120     zlib-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