aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLeonardo Sandoval <leonardo.sandoval@linaro.org>2020-10-16 13:54:27 -0500
committerLeonardo Sandoval <leonardo.sandoval@linaro.org>2020-10-16 13:54:27 -0500
commitade88fcb5f50b8d47d930cb6b7d8aa0d7f6a81c8 (patch)
tree57e2b4308c39d60955184c2d0a6879c8ce3dce9f
parente2c70a857ee42015dc0617cb4362e3c628ab05e2 (diff)
downloaddockerfiles-ade88fcb5f50b8d47d930cb6b7d8aa0d7f6a81c8.tar.gz
Fetch and install Coverity on-line tool
Coverity is a static code analysis tool that is used in both TF core projects. Signed-off-by: Leonardo Sandoval <leonardo.sandoval@linaro.org> Change-Id: I0a9f50d4badfce7270731ab432c3e9087b6a6492
-rw-r--r--bionic-amd64-tf-m-build/Dockerfile11
1 files changed, 10 insertions, 1 deletions
diff --git a/bionic-amd64-tf-m-build/Dockerfile b/bionic-amd64-tf-m-build/Dockerfile
index 8956b8c..a585777 100644
--- a/bionic-amd64-tf-m-build/Dockerfile
+++ b/bionic-amd64-tf-m-build/Dockerfile
@@ -4,7 +4,7 @@ ARG TOOLS_DIR=/home/buildslave/tools
ENV ARMLMD_LICENSE_FILE=27000@ci.trustedfirmware.org
ENV DEBIAN_FRONTEND=noninteractive
-ENV PATH=$TOOLS_DIR/bin:${PATH}
+ENV PATH=$TOOLS_DIR/bin:$TOOLS_DIR/coverity/bin:${PATH}
ENV PLANTUML_JAR_PATH=/usr/share/plantuml/plantuml.jar
ENV PKG_DEPS="\
bison \
@@ -137,5 +137,14 @@ RUN mkdir -p nfs/downloads/linaro/${LINARO_VERSION} ;\
wget -q -c -m -A .zip -np -nd https://releases.linaro.org/members/arm/platforms/${LINARO_VERSION}/ ;\
for file in *.zip; do unzip -q ${file} -d $(basename ${file} .zip); done
+ARG COVERITY_VERSION=2019.03
+ARG COVERITY_TOKEN="qe4COzW0lhb4J1W01Eh1oQ"
+RUN cd $TOOLS_DIR ;\
+ wget https://scan.coverity.com/download/linux64 \
+ --post-data "token=${COVERITY_TOKEN}&project=ARM-software%2Farm-trusted-firmware" \
+ -O coverity_tool.tgz ;\
+ tar -xzf coverity_tool.tgz ;\
+ mv cov-analysis-linux64-${COVERITY_VERSION} coverity
+
EXPOSE 22
ENTRYPOINT ["/usr/sbin/setup-sshd"]