From 2b1b9612746ca5e7cc0d2d138d06227425d1ea6a Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Tue, 4 Feb 2025 09:33:13 -0600 Subject: [PATCH] Update Dockerfile Need the JRE. --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index c5b18ef10b5..e9f9e5e9bab 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1,5 +1,5 @@ FROM mcr.microsoft.com/devcontainers/base:debian RUN apt-get update && apt-get -y install --no-install-recommends \ - build-essential cmake cmake-curses-gui doxygen gfortran git graphviz \ + build-essential cmake cmake-curses-gui default-jre doxygen gfortran git graphviz \ less libtool-bin libyajl-dev mpi-default-dev ninja-build valgrind wget