diff --git a/docker/master-java/Dockerfile b/docker/master-java/Dockerfile index 5584aaa71..fdad58ddf 100644 --- a/docker/master-java/Dockerfile +++ b/docker/master-java/Dockerfile @@ -1,4 +1,4 @@ -FROM debian:stretch-slim +FROM debian:buster-slim LABEL maintainer "Infer team" @@ -18,19 +18,17 @@ RUN apt-get update && \ libmpfr-dev \ libsqlite3-dev \ make \ - openjdk-8-jdk-headless \ + openjdk-11-jdk-headless \ patch \ pkg-config \ - python2.7 \ + python3.7 \ + python3-distutils \ unzip \ zlib1g-dev && \ rm -rf /var/lib/apt/lists/* -# Some scripts in facebook-clang-plugins assume "python" is available -RUN cd /usr/local/bin && ln -s /usr/bin/python2.7 python - # Install opam 2 -RUN curl -sL https://github.com/ocaml/opam/releases/download/2.0.5/opam-2.0.5-x86_64-linux > /usr/bin/opam && \ +RUN curl -sL https://github.com/ocaml/opam/releases/download/2.0.6/opam-2.0.6-x86_64-linux > /usr/bin/opam && \ chmod +x /usr/bin/opam # Disable sandboxing @@ -45,7 +43,7 @@ RUN cd / && \ # don't lose the significant amount of work done in the previous # steps. RUN cd /infer && \ - INFER_OPAM_SWITCH=4.07.1 ./build-infer.sh --only-setup-opam --no-opam-lock java && \ + INFER_OPAM_SWITCH=4.08.1 ./build-infer.sh --only-setup-opam --no-opam-lock java && \ opam clean # Make sure clang is disabled @@ -64,11 +62,11 @@ ENV BUILD_MODE=dev ENV IGNOREEOF=9 # should be moved earlier -ENV INFER_OPAM_SWITCH=4.07.1 +ENV INFER_OPAM_SWITCH=4.08.1 # export `opam env` -ENV OPAM_SWITCH_PREFIX=/root/.opam/4.07.1 -ENV CAML_LD_LIBRARY_PATH=/root/.opam/4.07.1/lib/stublibs:/root/.opam/4.07.1/lib/ocaml/stublibs:/root/.opam/4.07.1/lib/ocaml -ENV OCAML_TOPLEVEL_PATH=/root/.opam/4.07.1/lib/toplevel -ENV MANPATH=$MANPATH:/root/.opam/4.07.1/man -ENV PATH=/root/.opam/4.07.1/bin:$PATH +ENV OPAM_SWITCH_PREFIX=/root/.opam/4.08.1 +ENV CAML_LD_LIBRARY_PATH=/root/.opam/4.08.1/lib/stublibs:/root/.opam/4.08.1/lib/ocaml/stublibs:/root/.opam/4.08.1/lib/ocaml +ENV OCAML_TOPLEVEL_PATH=/root/.opam/4.08.1/lib/toplevel +ENV MANPATH=$MANPATH:/root/.opam/4.08.1/man +ENV PATH=/root/.opam/4.08.1/bin:$PATH diff --git a/docker/master/Dockerfile b/docker/master/Dockerfile index 86b2f2c6d..f338cc944 100644 --- a/docker/master/Dockerfile +++ b/docker/master/Dockerfile @@ -1,4 +1,4 @@ -FROM debian:stretch-slim AS compilator +FROM debian:buster-slim AS compilator LABEL maintainer "Infer team" @@ -20,20 +20,18 @@ RUN apt-get update && \ libmpfr-dev \ libsqlite3-dev \ make \ - openjdk-8-jdk-headless \ + openjdk-11-jdk-headless \ patch \ pkg-config \ - python2.7 \ + python3.7 \ + python3-distutils \ unzip \ xz-utils \ zlib1g-dev && \ rm -rf /var/lib/apt/lists/* -# Some scripts in facebook-clang-plugins assume "python" is available -RUN cd /usr/local/bin && ln -s /usr/bin/python2.7 python - # Install opam 2 -RUN curl -sL https://github.com/ocaml/opam/releases/download/2.0.5/opam-2.0.5-x86_64-linux > /usr/bin/opam && \ +RUN curl -sL https://github.com/ocaml/opam/releases/download/2.0.6/opam-2.0.6-x86_64-linux > /usr/bin/opam && \ chmod +x /usr/bin/opam # Disable sandboxing @@ -61,11 +59,9 @@ RUN cd /infer && \ DESTDIR="/infer-release" \ libdir_relative_to_bindir="../lib" -FROM debian:stretch-slim AS executor +FROM debian:buster-slim AS executor -# Install python 2.7 since infer requires it to run -RUN apt-get update && apt-get install --yes --no-install-recommends \ - python2.7 +RUN apt-get update && apt-get install --yes --no-install-recommends sqlite3 # Get the infer release COPY --from=compilator /infer-release/usr/local /infer