Within the current version of GridapPETSc v0.5.2, it is not possible to use MUMPS without compiling PETSc in the local machine.
GridapPETSc points to PETSc_jll v3.15.2 that is not compiled with MUMPS. However, newer versions of this artifact already contain MUMPS on their dependencies; see PETSc_jll v3.18.8.
This is not an urgent issue, but it will help new users and simplify the pipelines of the packages that depend on GridapPETSc.
@JordiManyer
Within the current version of GridapPETSc v0.5.2, it is not possible to use MUMPS without compiling PETSc in the local machine.
GridapPETSc points to PETSc_jll v3.15.2 that is not compiled with MUMPS. However, newer versions of this artifact already contain MUMPS on their dependencies; see PETSc_jll v3.18.8.
This is not an urgent issue, but it will help new users and simplify the pipelines of the packages that depend on GridapPETSc.
FYI @principejavier