Fix redhat dockerfile (#2823)

FEniCS · Oct 24, 2023 · 53d821d · 53d821d
1 parent aea8a7e
commit 53d821d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docker/Dockerfile.redhat b/docker/Dockerfile.redhat
@@ -19,6 +19,7 @@ WORKDIR /tmp
 RUN dnf -y update && \
     dnf install -y dnf-plugins-core && \
     dnf config-manager --set-enabled crb && \
+    dnf install -y epel-release && \
     dnf -y install \
     bison \
     boost-devel \