diff --git a/alpine/Dockerfile.diffblue-builder b/alpine/Dockerfile.diffblue-builder index cccfa86..ef388f1 100644 --- a/alpine/Dockerfile.diffblue-builder +++ b/alpine/Dockerfile.diffblue-builder @@ -2,7 +2,7 @@ FROM diffblue/cbmc-builder:alpine-0.0.1 LABEL maintainer="DiffBlue Ltd." -RUN apk add --no-cache openjdk8 jq maven apache-ant +RUN apk add --no-cache openjdk8 jq maven apache-ant git ENV PATH="$PATH:/usr/lib/jvm/java-1.8-openjdk/jre/bin:/usr/lib/jvm/java-1.8-openjdk/bin" \ JAVA_HOME="/usr/lib/jvm/java-1.8-openjdk"