Pass --oversubscribe to firedrake-check in Dockerfile to allow macOS to build containers

connorjward · connorjward · commit 80aeb9adf06c · 2025-10-01T10:46:00.000+01:00
diff --git a/docker/Dockerfile.vanilla b/docker/Dockerfile.vanilla
@@ -168,5 +168,5 @@ ENV PYOP2_CFLAGS=$CFLAGS
 
 # Run the smoke tests.
 RUN cd /opt/firedrake/ \
-    && firedrake-check \
+    && firedrake-check --mpiexec 'mpiexec --oversubscribe -n' \
     && firedrake-clean
