Dear Firedrake,

Long-time listener, first time mailer.

I would like to build using my own repository for PETSc. I am reading this page:

  https://www.firedrakeproject.org/download.html

but it is not clear to me how to tell the installer to use mine, rather than install its own.
Do I just point to it using PETSC_DIR?

  Thanks,

     Matt

--
What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.
-- Norbert Wiener