Re: [MacPorts] #42301: error installing petsc with dolfin 1.3.0