Update Dockerfile

Need the JRE.
gheber · Feb 4, 2025 · 2b1b961 · 2b1b961
1 parent 7114752
commit 2b1b961
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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