Dear Florian, PETSC_DIR is the source directory of your own petsc version, and yes, you also need to build it first and set PETSC_ARCH as well. It should be also be possible to just change the URL in the firedrake-install script and/or requirements files in the firedrake repository, but I think if you are making changes to PETSc, then you are better off using your own PETSc build with --honour-petsc-dir. Regards, Miklos Florian Bruckner <e0425375@gmail.com> writes:

Dear Firedrake-Team,

this may be a question that is very easy to answer, but I didn't get it working by myself. I would like to use a different petsc version which contains some small changes.

I am using firedrake inside a Docker container, where i run the firedrake-install script.

I tried using PETSC_DIR with --honour-petsc-dir, but this fails with some missing include files. Is PETSC_DIR only the source directory of my own petsc version, or do I have to compile it before? Is it somehow possible to just specify an individual url / git-repository to use a different petsc version?

thanks for any advice Florian _______________________________________________ firedrake mailing list firedrake@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/firedrake