Skip to content
Snippets Groups Projects

Added infer and minor cleanup

Merged Vivek Dutta requested to merge infer into devel
Files
3
@@ -69,7 +69,8 @@ RUN \
shellcheck \
jq \
python3-pip \
cppcheck
cppcheck \
bear
RUN mkdir /opt/dev && \
mkdir /etc/config
@@ -235,13 +236,10 @@ 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}
@@ -261,6 +259,10 @@ COPY supervisord.conf /etc/supervisor/
RUN mkdir -p /usr/share/rpcd/schemas && \
mkdir -p /usr/share/rpcd/definitions
# Copy more_test script
COPY more_test.sh /usr/local/bin/more_test.sh
# Start entrypoint
COPY entrypoint.sh /usr/local/bin/entrypoint.sh
ENTRYPOINT ["/usr/local/bin/entrypoint.sh"]
Loading