diff --git a/docker/master-java/Dockerfile b/docker/master-java/Dockerfile index 07975a5b2d3..b65a0de0508 100644 --- a/docker/master-java/Dockerfile +++ b/docker/master-java/Dockerfile @@ -18,6 +18,7 @@ RUN apt-get update && \ libgmp-dev \ libmpfr-dev \ libsqlite3-dev \ + sqlite3 \ make \ opam \ openjdk-11-jdk-headless \ @@ -53,7 +54,7 @@ RUN cd /infer && \ DESTDIR="/infer-release" \ libdir_relative_to_bindir="../lib" -FROM debian:buster-slim AS executor +FROM debian:bullseye-slim AS executor RUN apt-get update && apt-get install --yes --no-install-recommends sqlite3 diff --git a/docker/master/Dockerfile b/docker/master/Dockerfile index 69262b1482c..cf0d77d148e 100644 --- a/docker/master/Dockerfile +++ b/docker/master/Dockerfile @@ -19,6 +19,7 @@ RUN apt-get update && \ libgmp-dev \ libmpfr-dev \ libsqlite3-dev \ + sqlite3 \ make \ opam \ openjdk-11-jdk-headless \ @@ -58,7 +59,7 @@ RUN cd /infer && \ DESTDIR="/infer-release" \ libdir_relative_to_bindir="../lib" -FROM debian:buster-slim AS executor +FROM debian:bullseye-slim AS executor RUN apt-get update && apt-get install --yes --no-install-recommends sqlite3