Re: [petsc-dev] Add Flags To CFLAGS In Configure