[firedrake] Installation with my own PETSc repository

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 https://www.cse.buffalo.edu/~knepley/ <http://www.cse.buffalo.edu/~knepley/>