Update PVS Studio to an existing version.

This commit is contained in:
Alexander Kuzmenkov 2020-04-30 09:47:13 +03:00
parent a3843e1f42
commit 5b30c84813

View File

@ -20,10 +20,10 @@ RUN apt-get --allow-unauthenticated update -y \
# apt-get --allow-unauthenticated install --yes --no-install-recommends \
# pvs-studio
ENV PKG_VERSION="pvs-studio-7.07.37949.43-amd64.deb"
ENV PKG_VERSION="pvs-studio-7.07.38234.46-amd64.deb"
RUN wget -q http://files.viva64.com/$PKG_VERSION
RUN sudo dpkg -i $PKG_VERSION
RUN wget "http://files.viva64.com/$PKG_VERSION"
RUN sudo dpkg -i "$PKG_VERSION"
CMD cd /repo_folder && pvs-studio-analyzer credentials $LICENCE_NAME $LICENCE_KEY -o ./licence.lic \
&& cmake . && ninja re2_st && \