From: Bruno Blais <blais.bruno@gmail.com>
Date: Thu, 5 Jan 2023 22:07:57 +0000 (-0500)
Subject: Add METIS to Docker image
X-Git-Tag: v9.5.0-rc1~678^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F14645%2Fhead;p=dealii.git

Add METIS to Docker image
---

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 \