From 5bf074fc34910938c2b8e6922981480c5a847dce Mon Sep 17 00:00:00 2001 From: Tomas Krizek Date: Tue, 16 Jan 2018 17:25:51 +0100 Subject: [PATCH] Dockerfile: add static analysis tools --- ci/Dockerfile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/ci/Dockerfile b/ci/Dockerfile index 5b3f53d3a..91f22323f 100644 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -52,6 +52,9 @@ RUN mv /tmp/resolver-benchmarking/response_differences/respdiff /var/opt/respdif RUN pip3 install -r /tmp/resolver-benchmarking/requirements.txt RUN rm -rf /tmp/resolver-benchmarking +# Python static analysis for respdiff +RUN pip3 install mypy + # Unbound for respdiff RUN apt-get install unbound unbound-anchor -y -qqq RUN printf "server:\n interface: 127.0.0.1@53535\n use-syslog: yes\nremote-control:\n control-enable: no\n" >> /etc/unbound/unbound.conf @@ -68,4 +71,7 @@ RUN apt-get install -y -qqq lcov RUN luarocks install luacov # LuaJIT binary for stand-alone scripting -RUN apt-get install -y -qqq luajit \ No newline at end of file +RUN apt-get install -y -qqq luajit + +# infer for static analysis +RUN wget -q -O - https://github.com/facebook/infer/releases/download/v0.13.0/infer-linux64-v0.13.0.tar.xz | tar xJ && mv infer-linux64* /var/opt/infer -- 2.47.2