From 4ead5d58663be962a1dd57e2f3a59f18007dbe7d Mon Sep 17 00:00:00 2001
From: Bruno Blais <blais.bruno@gmail.com>
Date: Thu, 5 Jan 2023 17:07:57 -0500
Subject: [PATCH] Add METIS to Docker image

---
 contrib/docker/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 870ac08e6e..9ba8fca5c5 100644
--- a/contrib/docker/Dockerfile
+++ b/contrib/docker/Dockerfile
@@ -27,6 +27,7 @@ RUN cd /usr/src \
     -DDEAL_II_WITH_HDF5=ON \
     -DDEAL_II_WITH_KOKKOS=ON \
     -DDEAL_II_WITH_LAPACK=ON \
+    -DDEAL_II_WITH_METIS=ON \
     -DDEAL_II_WITH_MPI=ON \
     -DDEAL_II_WITH_MUPARSER=ON \
     -DDEAL_II_WITH_OPENCASCADE=ON \
-- 
2.39.5