Infer for Ant, Maven, Gradle(Java only)

Dockerfile

FROM ubuntu:17.04

MAINTAINER krymtkts

# Infer doesn't support Java9 yet. 
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 \
            ant \
            maven \
            gradle \
            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 java --opam-switch $OCAML_VERSION && rm -rf /root/.opam

# Install Infer
ENV INFER_HOME /infer/infer
ENV PATH ${INFER_HOME}/bin:${PATH}