From 77e21758d9ec330133d7a81e3bcf45bf810e0958 Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Fri, 24 Jan 2025 07:14:14 -0600 Subject: [PATCH] Update Dockerfile (#5267) Added Ninja build tool. --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 8b942f5b6e9..77f384fd26f 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -2,4 +2,4 @@ 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 git graphviz \ - less libtool-bin libyajl-dev mpi-default-dev valgrind wget \ No newline at end of file + less libtool-bin libyajl-dev mpi-default-dev ninja-build valgrind wget