You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
48 lines
1.3 KiB
48 lines
1.3 KiB
FROM debian:stretch-slim
|
|
|
|
LABEL maintainer "Infer team"
|
|
|
|
# mkdir the man/man1 directory due to Debian bug #863199
|
|
RUN apt-get update && \
|
|
mkdir -p /usr/share/man/man1 && \
|
|
apt-get install --yes --no-install-recommends \
|
|
autoconf \
|
|
automake \
|
|
cmake \
|
|
curl \
|
|
git \
|
|
libc6-dev \
|
|
libsqlite3-dev \
|
|
opam \
|
|
openjdk-8-jdk-headless \
|
|
pkg-config \
|
|
python2.7 \
|
|
zlib1g-dev && \
|
|
rm -rf /var/lib/apt/lists/*
|
|
|
|
# Download the latest Infer release
|
|
RUN INFER_VERSION=v0.13.1; \
|
|
cd /opt && \
|
|
curl -sL \
|
|
https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \
|
|
tar xJ && \
|
|
rm -f /infer && \
|
|
ln -s ${PWD}/infer-linux64-$INFER_VERSION /infer
|
|
|
|
# Compile Infer
|
|
RUN OCAML_VERSION=4.05.0+flambda; \
|
|
cd /infer && ./build-infer.sh --opam-switch $OCAML_VERSION && rm -rf /root/.opam
|
|
|
|
# Install Infer
|
|
ENV INFER_HOME /infer/infer
|
|
ENV PATH ${INFER_HOME}/bin:${PATH}
|
|
|
|
ENV ANDROID_HOME /opt/android-sdk-linux
|
|
WORKDIR $ANDROID_HOME
|
|
RUN curl -o sdk-tools-linux.zip \
|
|
https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip && \
|
|
unzip sdk-tools-linux.zip && \
|
|
rm sdk-tools-linux.zip
|
|
ENV PATH ${ANDROID_HOME}/tools/bin:${PATH}
|
|
RUN echo "sdk.dir=${ANDROID_HOME}" > /infer/examples/android_hello/local.properties
|