From 6ffecd3b1ebb4dcce87e65a212eaad55a3346d79 Mon Sep 17 00:00:00 2001
From: JHopeCollins <joshua.hope-collins13@imperial.ac.uk>
Date: Mon, 20 Oct 2025 09:55:25 +0100
Subject: [PATCH] download MUMPS on Linux because PETSc now assumes a higher
 version

---
 scripts/firedrake-configure | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/scripts/firedrake-configure b/scripts/firedrake-configure
index 1b2ffcb42b..1acf06badd 100755
--- a/scripts/firedrake-configure
+++ b/scripts/firedrake-configure
@@ -204,7 +204,6 @@ PETSC_EXTRAS_LINUX_APT_PACKAGES = (
     "libfftw3-mpi-dev",
     "libhwloc-dev",
     "libhdf5-mpi-dev",
-    "libmumps-ptscotch-dev",
     "libmetis-dev",
     "libnetcdf-dev",
     "libpnetcdf-dev",
@@ -317,8 +316,8 @@ PETSC_EXTERNAL_PACKAGE_SPECS = {
         MACOS_HOMEBREW_ARM64: "/opt/homebrew",
     },
     "mumps": {
-        LINUX_APT_X86_64: PETSC_AUTODETECT,
-        LINUX_APT_AARCH64: PETSC_AUTODETECT,
+        LINUX_APT_X86_64: PETSC_DOWNLOAD,
+        LINUX_APT_AARCH64: PETSC_DOWNLOAD,
         MACOS_HOMEBREW_ARM64: PETSC_DOWNLOAD,
     },
     "netcdf": {