Since the problematic library petsc is available on msys2 packages registry: https://packages.msys2.org/base/mingw-w64-petsc, is it possible to build native dolfinx on msys2? @jhale