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:
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