Nearly: there’s a small piece of idiot-proofing to prevent the unwary new user from accidentally using the wrong PETSc. You need to pass –honour-petsc-dir (note UK spelling) to firedrake-install You also need to check the install script to make sure your petsc has our minimal set of options. I apologise that you have to RTFS for that. From memory, the absolute minimum is that you need –download-hdf5 and –download-eigen From: <firedrake-bounces@imperial.ac.uk> on behalf of Matthew Knepley <knepley@gmail.com> Reply-To: firedrake <firedrake@imperial.ac.uk> Date: Friday, 26 October 2018 at 16:27 To: firedrake <firedrake@imperial.ac.uk> Subject: [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/>