Re: [petsc-users] Changing the options in the makefile