PETSc Error

General Usage
3

@digital_carver thanks for the reply. However, I did the following to sort out the error:

  1. keep the MPI.toml file empty
  2. then building MPI.jl and GridapPETSc.jl, worked perfectly fine.