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.
47 lines
1.3 KiB
47 lines
1.3 KiB
FROM ubuntu:17.04
|
|
|
|
MAINTAINER Infer
|
|
|
|
RUN apt-get update && \
|
|
apt-get install -y \
|
|
aspcud \
|
|
curl \
|
|
opam \
|
|
pkg-config \
|
|
autoconf \
|
|
libsqlite3-dev \
|
|
zlib1g-dev \
|
|
cmake \
|
|
libc6-dev \
|
|
libc6-i386 \
|
|
lib32z1 \
|
|
lib32stdc++6 \
|
|
openjdk-8-jdk-headless && \
|
|
rm -rf /var/lib/apt/lists/*
|
|
|
|
# Download the latest Infer release
|
|
RUN INFER_VERSION=v0.13.0; \
|
|
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
|