Skip to content
Snippets Groups Projects

Added infer and minor cleanup

Merged Vivek Dutta requested to merge infer into devel
All threads resolved!
Files
2
@@ -236,19 +236,16 @@ RUN \
ln -sf /usr/lib/libmicroxml.so.1.0 /lib/libmicroxml.so.1
# Download the Infer release
RUN INFER_VERSION=v1.2.0; \
cd /opt && \
curl -sL \
https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux-x86_64-${INFER_VERSION}.tar.xz | \
tar xJ && \
rm -f /infer && \
ln -s ${PWD}/infer-linux-x86_64-$INFER_VERSION /infer
ARG INFER_VERSION=v1.2.0
RUN cd /opt/dev && \
curl -sL https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux-x86_64-${INFER_VERSION}.tar.xz | tar xJ && \
mv /opt/dev/infer-linux-x86_64-$INFER_VERSION /infer
# Install infer
ENV PATH /infer/bin:${PATH}
# Install python ubus module and valgrind-ci
RUN pip3 install ubus ValgrindCI
RUN pip3 install ubus ValgrindCI codechecker
WORKDIR /builds/iopsys/
Loading