diff --git a/requirements-git.txt b/requirements-git.txt index d4658369cf..b6e9e8e1dd 100644 --- a/requirements-git.txt +++ b/requirements-git.txt @@ -4,3 +4,4 @@ git+https://github.com/FInAT/FInAT.git#egg=finat git+https://github.com/firedrakeproject/tsfc.git#egg=tsfc git+https://github.com/OP2/PyOP2.git#egg=pyop2 git+https://github.com/dolfin-adjoint/pyadjoint.git#egg=pyadjoint +git+https://github.com/firedrakeproject/petsc.git@firedrake#egg=petsc diff --git a/scripts/firedrake-install b/scripts/firedrake-install index 7ca37f44c8..565b5b2681 100755 --- a/scripts/firedrake-install +++ b/scripts/firedrake-install @@ -1568,7 +1568,7 @@ if mode == "install": run_pip(["install", "lazy-object-proxy==1.4.*"]) packages = clone_dependencies("firedrake") - packages = clone_dependencies("PyOP2") + packages + packages = clone_dependencies("PyOP2") + ["petsc4py"] + packages packages += ["firedrake"] for p in options["packages"]: