gplugin/builders

Update pvs-studio, move to the tarball as the debian package is wrong? also ignore an error code relating to copyleft licenses

2019-09-29, Gary Kramlich
e155926ad46c
Parents d801af425448
Children 3aee96dbe4c8
Update pvs-studio, move to the tarball as the debian package is wrong? also ignore an error code relating to copyleft licenses
2 files changed, 10 insertions(+), 5 deletions(-)
  • +9 -4
    Dockerfile.pvs-studio
  • +1 -1
    pvs-studio/build.sh
    • --- a/Dockerfile.pvs-studio Thu Aug 29 21:03:02 2019 -0500
    +++ b/Dockerfile.pvs-studio Sun Sep 29 23:08:45 2019 -0500
    @@ -1,6 +1,6 @@
    FROM gplugin/builders:debian-buster-amd64
    -ENV PVS_STUDIO_DOWNLOAD_URL=http://files.viva64.com/pvs-studio-7.03.32667.1363-amd64.deb
    +ENV PVS_STUDIO_DOWNLOAD_URL=http://files.viva64.com/pvs-studio-7.04.34029.4-x86_64.tgz
    MAINTAINER Gary Kramlich <grim@reaperworld.com>
    @@ -11,9 +11,14 @@
    rm -rf /var/lib/apt/lists
    RUN set -ex && \
    - wget -O pvs-studio.deb ${PVS_STUDIO_DOWNLOAD_URL} && \
    - dpkg -i pvs-studio.deb && \
    - rm pvs-studio.deb
    + cd /tmp && \
    + wget -O pvs-studio.tgz ${PVS_STUDIO_DOWNLOAD_URL} && \
    + tar zxf pvs-studio.tgz && \
    + rm pvs-studio.tgz && \
    + cd pvs-studio-* && \
    + ./install.sh && \
    + cd .. && \
    + rm -rf pvs-studio-*
    COPY pvs-studio/build.sh /
    --- a/pvs-studio/build.sh Thu Aug 29 21:03:02 2019 -0500
    +++ b/pvs-studio/build.sh Sun Sep 29 23:08:45 2019 -0500
    @@ -18,7 +18,7 @@
    cd ${CONVEY_WORKSPACE}
    BUILD_DIR="build-pvs-studio"
    -PLOG_ARGS="--excludedCodes V011"
    +PLOG_ARGS="--excludedCodes V011,V1042"
    # don't leak our secrets via `set -x`
    set +x